62 lines
840 B
JSON
62 lines
840 B
JSON
{
|
|
"kind": "sequential",
|
|
"clock": {
|
|
"name": "clk",
|
|
"period_ns": 10,
|
|
"initial": 0
|
|
},
|
|
"reset": {
|
|
"name": "rst",
|
|
"active": 1,
|
|
"cycles": 1
|
|
},
|
|
"inputs": [
|
|
{
|
|
"name": "din",
|
|
"width": 2
|
|
}
|
|
],
|
|
"outputs": [
|
|
{
|
|
"name": "q",
|
|
"width": 2
|
|
}
|
|
],
|
|
"max_cycles": 5,
|
|
"auto_stimulus": {
|
|
"enabled": true,
|
|
"start_cycle": 0,
|
|
"mode": "binary_count"
|
|
},
|
|
"assertions": [
|
|
{
|
|
"name": "rst_cycle0",
|
|
"cycle": 0,
|
|
"expect": {
|
|
"q": 0
|
|
}
|
|
},
|
|
{
|
|
"name": "q_cycle1",
|
|
"cycle": 1,
|
|
"expect": {
|
|
"q": 1
|
|
}
|
|
},
|
|
{
|
|
"name": "q_cycle2",
|
|
"cycle": 2,
|
|
"expect": {
|
|
"q": 2
|
|
}
|
|
},
|
|
{
|
|
"name": "q_cycle3",
|
|
"cycle": 3,
|
|
"expect": {
|
|
"q": 3
|
|
}
|
|
}
|
|
]
|
|
}
|