Hardware Description Languages and their Applications: IFIP Advances in Information and Communication Technology
Editat de Carlos Delgado Kloos, Eduard Cernyen Limba Engleză Paperback – 8 ian 2013
Din seria IFIP Advances in Information and Communication Technology
- 20%
Preț: 334.13 lei -
Preț: 382.30 lei - 20%
Preț: 323.23 lei - 20%
Preț: 329.80 lei - 20%
Preț: 544.99 lei - 20%
Preț: 438.53 lei - 15%
Preț: 624.01 lei - 20%
Preț: 1122.44 lei - 20%
Preț: 523.54 lei - 18%
Preț: 914.16 lei - 20%
Preț: 1259.11 lei - 20%
Preț: 694.32 lei - 20%
Preț: 1387.21 lei - 20%
Preț: 511.28 lei - 20%
Preț: 752.82 lei - 20%
Preț: 753.04 lei - 18%
Preț: 1184.70 lei - 20%
Preț: 1246.15 lei - 20%
Preț: 1256.72 lei - 18%
Preț: 920.96 lei - 33%
Preț: 535.48 lei - 20%
Preț: 632.01 lei - 15%
Preț: 627.39 lei - 15%
Preț: 625.33 lei - 20%
Preț: 970.44 lei - 20%
Preț: 630.06 lei - 20%
Preț: 1235.50 lei - 20%
Preț: 1247.98 lei - 18%
Preț: 1193.24 lei - 20%
Preț: 1251.13 lei - 18%
Preț: 911.42 lei - 20%
Preț: 1240.76 lei - 18%
Preț: 1198.80 lei - 20%
Preț: 969.20 lei - 18%
Preț: 1189.45 lei - 20%
Preț: 1251.50 lei - 18%
Preț: 929.48 lei - 20%
Preț: 1250.27 lei - 20%
Preț: 1249.03 lei - 20%
Preț: 964.45 lei - 18%
Preț: 925.91 lei - 20%
Preț: 955.16 lei - 18%
Preț: 913.86 lei - 20%
Preț: 1247.77 lei - 18%
Preț: 1194.20 lei - 18%
Preț: 1202.36 lei - 20%
Preț: 964.61 lei
Preț: 968.39 lei
Preț vechi: 1210.49 lei
-20%
Puncte Express: 1453
Carte tipărită la comandă
Livrare economică 06-20 iulie
Specificații
ISBN-13: 9781475753875
ISBN-10: 147575387X
Pagini: 364
Ilustrații: X, 350 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.55 kg
Ediția:Softcover reprint of the original 1st ed. 1997
Editura: Springer
Colecția IFIP Advances in Information and Communication Technology
Seria IFIP Advances in Information and Communication Technology
Locul publicării:New York, NY, United States
ISBN-10: 147575387X
Pagini: 364
Ilustrații: X, 350 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.55 kg
Ediția:Softcover reprint of the original 1st ed. 1997
Editura: Springer
Colecția IFIP Advances in Information and Communication Technology
Seria IFIP Advances in Information and Communication Technology
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
1 Synchronous languages for hardware and software reactive systems.- 2 Towards a complete design method for embedded systems using Predicate/Transition-Nets.- 3 Simplifying data operations for formal verification.- 4 CTL and equivalent sublanguages of CTL.- 5 Verifying linear temporal properties of data intensive controllers using finite instantiations.- 6 A high-level language for programming complex temporal behaviors and its translation into synchronous circuits (poster abstract).- 7 System-level hardware design with ?-charts (poster abstract).- 8 Interface synthesis in embedded hardware-software systems (poster abstract).- 9 TripleS-a formal validation environment for functional specifications (poster abstract).- 10 SOFHIA: a CAD environment to design digital control systems (poster abstract).- 11 Compiling the language BALSA to delay insensitive hardware (poster abstract).- 12 High-level synthesis of structured data paths (poster abstract).- 13 Characterizing a portable subset of behavioural VHDL-93.- 14 Algebra of communicating timing charts for describing and verifying hardware interfaces.- 15 A formal proof of absence of deadlock for any acyclic network of PCI buses.- 16 Behavioural modelling of sampled-data with HDL-A and ABSynth.- 17 Hardware description languages in practical design flows.- 18 VHDL generation from SDL specification.- 19 Exploiting isomorphism for speeding up instance-binding in an integrated scheduling allocation and assignment approach to architectural synthesis.- 20 Verification of large systems in silicon (special talk).- 21 The Shall Design test Development model for hardware systems.- 22 Modular operational semantic specification of transport triggered architectures.- 23 The world of I/O: a rich application area for formal methods(invited talk).- 24 Abstract modelling of asynchronous micropipeline systems using Rainbow.- 25 A new partial order reduction algorithm for concurrent system verification (short talk).- 26 VHDL power simulator: power analysis at gate level.- 27 Object oriented extensions to VHDL. the LaMI proposal.- Index of contributors.- Keyword index.