Functional netlists (Q5178773)
From MaRDI portal
scientific article; zbMATH DE number 6415858
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Functional netlists |
scientific article; zbMATH DE number 6415858 |
Statements
Functional netlists (English)
0 references
16 March 2015
0 references
functional language
0 references
hardware description language
0 references
linear type system
0 references
Netlists
0 references
