Synthesis of operation-centric hardware descriptions
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Sleipnir-An Instruction-Level Simulator Generator
ICCD '00 Proceedings of the 2000 IEEE International Conference on Computer Design: VLSI in Computers & Processors
A methodology for generating verified combinatorial circuits
Proceedings of the 4th ACM international conference on Embedded software
Decomposing image computation for symbolic reachability analysis using control flow information
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Complementing Ada with other programming languages
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
A monadic approach to automated reasoning for Bluespec SystemVerilog
Innovations in Systems and Software Engineering
LaTe, a non-fully deterministic testing language
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Integrating formal verification in an online judge for e-Learning logic circuit design
Proceedings of the 43rd ACM technical symposium on Computer Science Education
A model of DPA syndrome and its application to the identification of leaking gates
PATMOS'07 Proceedings of the 17th international conference on Integrated Circuit and System Design: power and timing modeling, optimization and simulation
| Hi-index | 0.00 |
From the Publisher:The Third Edition has been revised and updated to conform to the IEEE 1364-1995 Standard. Several entirely new chapters have been added including a chapter on Advanced Timing and a chapter on Synthesis. The chapter on synthesis presents methods of describing systems for both logic and behavioral synthesis. Thomas & Moorby's The Verilog Hardware Description Language, Third Edition is a valuable resource for engineers and students interested in describing, simulating and synthesizing digital systems. The book and the CD-ROM allow the reader to be able to study Verilog as well as use it.