scientific article; zbMATH DE number 2005592

MaRDI QIDQ4435747zbMATH OpenFDO

Authors Janick Bergeron

Publication date 18 November 2003

zbMATH Keywords

computer aided designshardware 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 1428926
• scientific article; zbMATH DE number 1033731
• System Verilog for Verification
• scientific article; zbMATH DE number 2111138
• Constraint-Based Verification

Cited in

(7)

• A rewriting semantics for ABEL with applications to hardware/software co-design and analysis
• System Verilog for Verification
• SystemVerilog and Vera in a verification flow
• scientific article; zbMATH DE number 2111138 (Why is no real title available?)
• scientific article; zbMATH DE number 1428926 (Why is no real title available?)
• Constraint-Based Verification
• \texttt{vlogsl}: a strategy language for simulation-based verification of hardware

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