Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions (Q3510792)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions |
scientific article; zbMATH DE number 5297034
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions |
scientific article; zbMATH DE number 5297034 |
Statements
Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions (English)
0 references
3 July 2008
0 references
Formal Verification
0 references
Sequential Equivalence Checking
0 references
System on a Chip (SoC)
0 references
Communication System
0 references
Canonical Representation
0 references
0.7841887474060059
0 references
0.7377874851226807
0 references
0.7089745998382568
0 references
0.6927140355110168
0 references
0.6828643679618835
0 references
