Design Specification
BLIF-MV subset
nSingle
output MV nodes
nCan
be non-deterministic
nFlat
network, no hierarchy (yet)
nConstant
initial states (.reset)
Extensions
nExternal
don’t care networks (.exdc)
wCan
have an external don’t care specified
for each output
nCan
specify datapaths
.model
simple
.inputs a
b
.outputs
f
.mv f 3
.mv x 3
.table x a b
-> f
.def 0
0 1 1
1
{1,2} 0
- 1
1 - 1
2
0 - 0
2
...
.reset x
0
.latch f
x
...
.exdc
.inputs a
b
.outputs
f
.table a b
-> f
.def 0
0 0 1
.end
blif-mv