scientific article; zbMATH DE number 1428926

MaRDI QIDQ4948149zbMATH OpenFDO

Authors Janick Bergeron

Publication date 10 April 2000

zbMATH Keywords

computer aided designhardware description languageshardware design

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computer system organization (68M99) Computer science aspects of computer-aided design (68U07)

Recommendations

• scientific article; zbMATH DE number 2111138
• scientific article; zbMATH DE number 2005592
• Verilog HDL. Digital design and modeling.
• scientific article; zbMATH DE number 1033731

Cited in

(8)

• Dynamic and formal verification of embedded systems: A comparative survey
• scientific article; zbMATH DE number 4205966 (Why is no real title available?)
• scientific article; zbMATH DE number 2005590 (Why is no real title available?)
• scientific article; zbMATH DE number 2005592 (Why is no real title available?)
• scientific article; zbMATH DE number 2111138 (Why is no real title available?)
• scientific article; zbMATH DE number 771700 (Why is no real title available?)
• scientific article; zbMATH DE number 1428923 (Why is no real title available?)
• Constraint-Based Verification

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 Q4948149)