Eduard Cerny

2 books

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

Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method

Eduard Cerny, Pierre Girodias, Bachir Berkane

211 pages • paperback

nonfiction computer science science informative medium-paced
Verification Methodology Manual for Systemverilog by Janick Bergeron, Eduard Cerny, Alan Hunter

Verification Methodology Manual for Systemverilog

Janick Bergeron, Eduard Cerny, Alan Hunter

503 pages • hardcover

nonfiction art computer science design technology medium-paced