books by Eduard Cerny

books by Eduard Cerny

books:

Eduard Cerny

Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method
Eduard Cerny, Bachir Berkane, ...

Springer, 1998

Standardization of hardware description languages and the availability of synthesis tools has brought about a remarkable increase in the productivity of hardware designers. Yet design verification methods and tools lag behind and have difficulty in dealing with the increasing design complexity. This may get worse because more complex systems are ...

Verification Methodology Manual For Systerm Verilog
Janick (EDT)/ Cerny, Eduard/ Hunter, Alan/ Nightingale, Andy Bergeron

Springer-Verlag New York Inc, 2005

Verification Methodology Manual for SystemVerilog

Janick Bergeron, Eduard Cerny, ...

Springer, 2005

Excellent theoretical text. Probably not the best starting point
This is a very good book. However, as a newcomer to VMM, I initially got more out of "A Pragmatic Approach to VMM Adoption" by Cohen, Venkataramanan and Kumari. I use both books extensively. Since reading "A Pragmatic Approach", Bergeron's book is much more ...

Hardware Description Languages and their Applications: Specification, Modelling, Verification and Synthesis ...

Springer, 1997

In the past few decades Computer Hardware Description Languages (CHDLs) have been a rapidly expanding subject area due to a number of factors, including the advancing complexity of digital electronics, the increasing prevalence of generic and programmable components of software-hardware and the migration of VLSI design to high level synthesis ...