Rewrite based hardware verification with ReDuX (Q2702606)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1575029
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Rewrite based hardware verification with ReDuX |
scientific article; zbMATH DE number 1575029 |
Statements
12 March 2001
0 references
synchronous circuit designs
0 references
ReDuX
0 references
Rewrite based hardware verification with ReDuX (English)
0 references
0.7292103171348572
0 references
0.7219486832618713
0 references
0.7212705016136169
0 references
