Cover Image

Hardware Design and Petri Nets /

Show other versions (1)

Hardware Design and Petri Nets presents a summary of the state of the art in the applications of Petri nets to designing digital systems and circuits. The area of hardware design has traditionally been a fertile field for research in concurrency and Petri nets. Many new ideas about modelling and ana...

Full description

Bibliographic Details
Main Author:	Yakovlev, Alex
Corporate Author:	SpringerLink (Online service)
Other Authors:	Gomes, Luís, Lavagno, Luciano
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2000.
Subjects:	Engineering. Electronic data processing. Computer-aided design. Computer engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Monte Carlo Device Simulation : Full Band and Beyond /
by: Hess, Karl
Published: (1991)

Introduction to IDDQ Testing /
by: Chakravarty, Sreejit
Published: (1997)

Testing and Diagnosis of VLSI and ULSI /
by: Lombardi, Fabrizio
Published: (1988)

Wave Pipelining: Theory and CMOS Implementation /
by: Gray, C. Thomas
Published: (1994)

Delay Fault Testing for VLSI Circuits /
by: Krstić, Angela
Published: (1998)

Synchronous Equivalence : Formal Methods for Embedded Systems /
by: Hsieh, Harry
Published: (2001)

The SECD Microprocessor : a Verification Case Study /
by: Graham, Brian T.
Published: (1992)

Formal Equivalence Checking and Design Debugging /
by: Huang, Shiyu
Published: (1998)

A Unified Approach for Timing Verification and Delay Fault Testing /
by: Sivaraman, Mukund
Published: (1998)

Symbolic Simulation Methods for Industrial Formal Verification /
by: Jones, Robert B.
Published: (2002)

Evolutionary Algorithms for VLSI CAD /
by: Drechsler, Rolf
Published: (1998)

Towards One-Pass Synthesis /
by: Drechsler, Rolf
Published: (2002)

Global Consistency of Tolerances : Proceedings of the 6 th CIRP International Seminar on Computer-Aided Tolerancing, University of Twente, Enschede, the Netherlands, 22-24 March, 1999 /
by: Houten, Fred
Published: (1999)

Formal Methods and Models for System Design : a System Level Perspective /
by: Gupta, R. (Rajesh)
Published: (2004)

Spectral Techniques in VLSI CAD /
by: Thornton, Mitchell Aaron
Published: (2001)

Analysis and Design of Stream Ciphers /
by: Rueppel, Rainer A.
Published: (1986)

Hardware-Software Co-Design of Embedded Systems : the POLIS Approach /
by: Balarin, Felice
Published: (1997)

System Level Hardware/Software Co-design : an Industrial Approach /
by: Hurk, Joris
Published: (1998)

Low-Power Deep Sub-Micron CMOS Logic : Sub-threshold Current Reduction /
by: Meer, P. R.
Published: (2004)

Co-Synthesis of Hardware and Software for Digital Embedded Systems /
by: Gupta, Rajesh Kumar
Published: (1995)

Petri Net Synthesis for Discrete Event Control of Manufacturing Systems /
by: Zhou, MengChu
Published: (1993)

Hardware Annealing in Analog VLSI Neurocomputing /
by: Lee, Bang W.
Published: (1991)

The Codesign of Embedded Systems: A Unified Hardware/Software Representation /
by: Kumar, Sanjaya
Published: (1996)

Software Synthesis from Dataflow Graphs /
by: Battacharyya, Shuvra S.
Published: (1996)

A Formal Approach to Hardware Design /
by: Staunstrup, Jørgen
Published: (1994)

Fundamentals and Standards in Hardware Description Languages /
by: Mermet, Jean P.
Published: (1993)

VLSI Specification, Verification and Synthesis /
by: Birtwistle, G. M. (Graham M.)
Published: (1987)

The Design of Communicating Systems : a System Engineering Approach /
by: Koomen, C. J.
Published: (1991)

Embedded Processor-Based Self-Test /
by: Gizopoulos, Dimitris
Published: (2004)

Hardware/Software Co-Design and Co-Verification /
by: Bergé, Jean-Michel
Published: (1997)

Hardware/Software Co-Design: Principles and Practice /
by: Staunstrup, Jørgen
Published: (1997)

Advances in Soft Computing : Engineering Design and Manufacturing /
by: Benítez, Jose Manuel
Published: (2003)

Soft Computing and Industry : Recent Applications /
by: Roy, Rajkumar
Published: (2002)

Analysis and Synthesis of Distributed Real-Time Embedded Systems /
by: Pop, Paul
Published: (2004)

Industrial Application of Electromagnetic Computer Codes /
by: Crutzen, Yves R.
Published: (1990)

Power Supply Testing Handbook : Strategic Approaches in Test Cost Reduction /
by: Crandall, Earl
Published: (1997)

EMI/EMC Computational Modeling Handbook /
by: Archambeault, Bruce
Published: (1998)

Finite Element Analysis of Electrical Machines /
by: Salon, S. J.
Published: (1995)

Analog Circuit Design : Sensor and Actuator Interface Electronics, Integrated High-Voltage Electronics and Power Management, Low-Power and High-Resolution ADC's /
by: Huijsing, J. H.
Published: (2004)

Creo Parametric 2.0 tutorial and multimedia DVD /
by: Toogood, Roger, 1951-, et al.
Published: (2013)