scientific article; zbMATH DE number 1241510

MaRDI QIDQ4225040zbMATH OpenFDO

Authors Bachir Berkane, Pierre Girodias, K. Khordoc, Eduard Cerny

Publication date 18 January 1999

zbMATH Keywords

hardware description languageshierarchical annotated action diagraminterface-oriented hardware specificationverification modelsVLSI designs

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical problems of computer architecture (68M07) Specification and verification (program logics, model checking, etc.) (68Q60) Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4225040)