Eduard Cerny
3 published titles
Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems : IFIP TC10 WG10.5 International Conference on Computer Hardware
(Contributor)
1 edition
- ISBN: 0412788101
- Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)
- 1997
- Details
Hierarchical annotated action diagrams : an interface-oriented specification and verification method
(Contributor)
1 edition
- ISBN: 079238301X
- Kluwer Academic Publishers
- 1998
- Details
The power of assertions in SystemVerilog
(Contributor)
1 edition
- ISBN: 9781441965998
- Springer
- 2010
- Details
