Hierarchical Annotated Action Diagrams An Interface-Oriented Specification and Verification Method / by Eduard Cerny, Bachir Berkane, Pierre Girodias, Karim Khordoc.
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...
Full description
Saved in: