yosys2digitaljs 0.7.0 → 0.8.0

package/.github/workflows/nodejs.yml

@@ -9,7 +9,7 @@ jobs:
 
     strategy:
       matrix:
-        node-version: [12.x, 14.x, 16.x]
+        node-version: [18.x]
 
     steps:
     - uses: actions/checkout@v2

package/dist/index.d.ts

@@ -54,8 +54,9 @@ declare namespace Digitaljs {
     };
 }
 declare namespace Yosys {
-    type BitChar = '0' | '1' | 'x';
-    type Bit = number | '0' | '1' | 'x';
+    const ConstChars: readonly ["0", "1", "x", "z"];
+    type BitChar = (typeof ConstChars)[number];
+    type Bit = number | BitChar;
     type BitVector = Bit[];
     type Port = {
         direction: 'input' | 'output' | 'inout';

package/dist/index.js

@@ -115,6 +115,10 @@ const gate_negations = new Map([
     ['XnorReduce', 'XorReduce']
 ]);
 ;
+var Yosys;
+(function (Yosys) {
+    Yosys.ConstChars = ["0", "1", "x", "z"];
+})(Yosys || (Yosys = {}));
 ;
 function chunkArray(a, chunk_size) {
     let results = [];
@@ -215,7 +219,7 @@ function yosys_to_digitaljs(data, portmaps, options = {}) {
 }
 function yosys_to_digitaljs_mod(name, mod, portmaps, options = {}) {
     function constbit(bit) {
-        return bit == '0' || bit == '1' || bit == 'x';
+        return Yosys.ConstChars.includes(bit.toString());
     }
     const nets = new HashMap();
     const netnames = new HashMap();
@@ -246,8 +250,6 @@ function yosys_to_digitaljs_mod(name, mod, portmaps, options = {}) {
         const net = get_net(k);
         if (net.source !== undefined) {
             // multiple sources driving one net, disallowed in digitaljs
-            console.log(k);
-            console.log(net);
             throw Error('Multiple sources driving net: ' + net.name);
         }
         net.source = { id: d, port: p };
@@ -1017,14 +1019,37 @@ function yosys_to_digitaljs_mod(name, mod, portmaps, options = {}) {
     }
     return mout;
 }
-function escape_filename(cmd) {
-    return '"' + cmd.replace(/(["\s'$`\\])/g, '\\$1') + '"';
+function ansi_c_escape_contents(cmd) {
+    function func(ch) {
+        if (ch == '\t')
+            return '\\t';
+        if (ch == '\r')
+            return '\\r';
+        if (ch == '\n')
+            return '\\n';
+        return '\\x' + ch.charCodeAt(0).toString(16).padStart(2, '0');
+    }
+    return cmd.replace(/(["'\\])/g, '\\$1')
+        .replace(/[\x00-\x1F\x7F-\x9F]/g, func);
+}
+function ansi_c_escape(cmd) {
+    return '"' + ansi_c_escape_contents(cmd) + '"';
+}
+function shell_escape_contents(cmd) {
+    return cmd.replace(/(["\r\n$`\\])/g, '\\$1');
+}
+function shell_escape(cmd) {
+    return '"' + shell_escape_contents(cmd) + '"';
+}
+function process_filename(filename) {
+    const flags = /\.sv$/.test(filename) ? " -sv" : "";
+    return "read_verilog" + flags + " " + ansi_c_escape(filename);
 }
 const verilator_re = /^%(Warning|Error)[^:]*: ([^:]*):([0-9]+):([0-9]+): (.*)$/;
 async function verilator_lint(filenames, dirname, options = {}) {
     try {
         const output = [];
-        const verilator_result = await (0, util_1.promisify)(child_process.exec)('verilator -lint-only -Wall -Wno-DECLFILENAME -Wno-UNOPT -Wno-UNOPTFLAT ' + filenames.map(escape_filename).join(' '), { maxBuffer: 1000000, cwd: dirname || null, timeout: options.timeout || 60000 })
+        const verilator_result = await (0, util_1.promisify)(child_process.exec)('timeout -k10s 40s verilator -lint-only -Wall -Wno-DECLFILENAME -Wno-UNOPT -Wno-UNOPTFLAT ' + filenames.map(shell_escape).join(' '), { maxBuffer: 1000000, cwd: dirname || null, timeout: options.timeout || 60000 })
             .catch(exc => exc);
         for (const line of verilator_result.stderr.split('\n')) {
             const result = line.match(verilator_re);
@@ -1066,8 +1091,9 @@ async function process(filenames, dirname, options = {}) {
             : "";
     const tmpjson = await tmp.tmpName({ postfix: '.json' });
     let obj = undefined;
-    const yosys_result = await (0, util_1.promisify)(child_process.exec)('yosys -p "hierarchy -auto-top; proc' + optimize_simp + fsmpass + '; memory -nomap; wreduce -memx' +
-        optimize + '" -o "' + tmpjson + '" ' + filenames.map(escape_filename).join(' '), { maxBuffer: 1000000, cwd: dirname || null, timeout: options.timeout || 60000 })
+    const yosys_result = await (0, util_1.promisify)(child_process.exec)('timeout -k10s 40s yosys -p "' + shell_escape_contents(filenames.map(process_filename).join('; ')) +
+        '; hierarchy -auto-top; proc' + optimize_simp + fsmpass + '; memory -nomap; wreduce -memx' +
+        optimize + '" -o "' + tmpjson + '"', { maxBuffer: 1000000, cwd: dirname || null, timeout: options.timeout || 60000 })
         .catch(exc => exc);
     try {
         if (yosys_result instanceof Error) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "yosys2digitaljs",
-  "version": "0.7.0",
+  "version": "0.8.0",
   "description": "Export Yosys netlists to a logic simulator",
   "main": "dist/index",
   "types": "dist/index.d.ts",

package/src/index.ts

@@ -175,9 +175,11 @@ namespace Digitaljs {
 
 namespace Yosys {
 
-    export type BitChar = '0' | '1' | 'x';
+    export const ConstChars = ["0", "1", "x", "z"] as const;
 
-    export type Bit = number | '0' | '1' | 'x';
+    export type BitChar = (typeof ConstChars)[number];
+
+    export type Bit = number | BitChar;
 
     export type BitVector = Bit[];
 
@@ -404,7 +406,7 @@ function yosys_to_digitaljs(data: Yosys.Output, portmaps: Portmaps, options: Con
 
 function yosys_to_digitaljs_mod(name: string, mod: Yosys.Module, portmaps: Portmaps, options: ConvertOptions = {}): Digitaljs.Module {
     function constbit(bit: Bit) {
-        return bit == '0' || bit == '1' || bit == 'x';
+        return (Yosys.ConstChars as readonly string[]).includes(bit.toString());
     }
     const nets = new HashMap<Net, NetInfo>();
     const netnames = new HashMap<Net, string[]>();
@@ -434,8 +436,6 @@ function yosys_to_digitaljs_mod(name: string, mod: Yosys.Module, portmaps: Portm
         const net = get_net(k);
         if(net.source !== undefined) {
             // multiple sources driving one net, disallowed in digitaljs
-            console.log(k);
-            console.log(net);
             throw Error('Multiple sources driving net: ' + net.name);
         }
         net.source = { id: d, port: p };
@@ -1170,17 +1170,41 @@ function yosys_to_digitaljs_mod(name: string, mod: Yosys.Module, portmaps: Portm
     return mout;
 }
 
-function escape_filename(cmd: string): string {
-    return '"' + cmd.replace(/(["\s'$`\\])/g,'\\$1') + '"';
+function ansi_c_escape_contents(cmd: string): string {
+    function func(ch: string) {
+        if (ch == '\t') return '\\t';
+        if (ch == '\r') return '\\r';
+        if (ch == '\n') return '\\n';
+        return '\\x' + ch.charCodeAt(0).toString(16).padStart(2, '0');
+    }
+    return cmd.replace(/(["'\\])/g,'\\$1')
+              .replace(/[\x00-\x1F\x7F-\x9F]/g, func);
+}
+
+function ansi_c_escape(cmd: string): string {
+    return '"' + ansi_c_escape_contents(cmd) + '"';
+}
+
+function shell_escape_contents(cmd: string): string {
+    return cmd.replace(/(["\r\n$`\\])/g,'\\$1');
 }
-        
+
+function shell_escape(cmd: string): string {
+    return '"' + shell_escape_contents(cmd) + '"';
+}
+
+function process_filename(filename: string): string {
+    const flags = /\.sv$/.test(filename) ? " -sv" : "";
+    return "read_verilog" + flags + " " + ansi_c_escape(filename);
+}
+
 const verilator_re = /^%(Warning|Error)[^:]*: ([^:]*):([0-9]+):([0-9]+): (.*)$/;
 
 export async function verilator_lint(filenames: string[], dirname?: string, options: Options = {}): Promise<LintMessage[]> {
     try {
         const output: LintMessage[] = [];
         const verilator_result: {stdout: string, stderr: string} = await promisify(child_process.exec)(
-            'verilator -lint-only -Wall -Wno-DECLFILENAME -Wno-UNOPT -Wno-UNOPTFLAT ' + filenames.map(escape_filename).join(' '),
+            'timeout -k10s 40s verilator -lint-only -Wall -Wno-DECLFILENAME -Wno-UNOPT -Wno-UNOPTFLAT ' + filenames.map(shell_escape).join(' '),
             {maxBuffer: 1000000, cwd: dirname || null, timeout: options.timeout || 60000})
             .catch(exc => exc);
         for (const line of verilator_result.stderr.split('\n')) {
@@ -1222,8 +1246,9 @@ export async function process(filenames: string[], dirname?: string, options: Op
     const tmpjson = await tmp.tmpName({ postfix: '.json' });
     let obj = undefined;
     const yosys_result: {stdout: string, stderr: string, killed?: boolean, code?: number} = await promisify(child_process.exec)(
-        'yosys -p "hierarchy -auto-top; proc' + optimize_simp + fsmpass + '; memory -nomap; wreduce -memx' + 
-        optimize + '" -o "' + tmpjson + '" ' + filenames.map(escape_filename).join(' '),
+        'timeout -k10s 40s yosys -p "' + shell_escape_contents(filenames.map(process_filename).join('; ')) +
+        '; hierarchy -auto-top; proc' + optimize_simp + fsmpass + '; memory -nomap; wreduce -memx' +
+        optimize + '" -o "' + tmpjson + '"',
         {maxBuffer: 1000000, cwd: dirname || null, timeout: options.timeout || 60000})
         .catch(exc => exc);
     try {

package/test.sv

@@ -0,0 +1,31 @@
+
+// Full adder
+module fulladder(
+  input a,
+  input b,
+  input d,
+  output o,
+  output c
+);
+
+  logic t, c1, c2;
+
+  halfadder ha1(a, b, t, c1);
+  halfadder ha2(t, d, o, c2);
+
+  assign c = c1 | c2;
+
+endmodule
+// Half adder
+module halfadder(
+  input a, 
+  input b,
+  output o,
+  output c
+);
+
+  assign o = a ^ b;
+  assign c = a & b;
+
+endmodule
+

package/test1.sv

@@ -0,0 +1,19 @@
+
+module m(
+  input a,
+  output b
+);
+
+  n x(a, b);
+
+endmodule
+
+module n(
+  input a,
+  output b
+);
+
+  assign b = !a;
+
+endmodule
+

package/test1.v

@@ -0,0 +1,19 @@
+
+module m(
+  input a,
+  output b
+);
+
+  n x(a, b);
+
+endmodule
+
+module n(
+  input a,
+  output b
+);
+
+  assign b = !a;
+
+endmodule
+

package/test2.v

@@ -0,0 +1,19 @@
+
+module n(
+  input a,
+  output b
+);
+
+  assign b = !a;
+
+endmodule
+
+module m(
+  input a,
+  output b
+);
+
+  n x(a, b);
+
+endmodule
+

package/test3.sv

@@ -0,0 +1,63 @@
+// Half adder
+module halfadder(
+  input a, 
+  input b,
+  output o,
+  output c
+);
+
+  assign o = a ^ b;
+  assign c = a & b;
+
+endmodule
+
+// Full adder
+module fulladder(
+  input a,
+  input b,
+  input d,
+  output o,
+  output c
+);
+
+  logic t, c1, c2;
+
+  halfadder ha1(a, b, t, c1);
+  halfadder ha2(t, d, o, c2);
+
+  assign c = c1 | c2;
+
+endmodule
+
+// Multibit serial adder
+module serialadder
+#(parameter WIDTH = 4)(
+   input [WIDTH-1:0] a,
+   input [WIDTH-1:0] b,
+   output [WIDTH:0]  o
+);
+   
+  logic [WIDTH:0]   c;
+  logic [WIDTH-1:0]   s;
+   
+  assign c[0] = 1'b0;    
+   
+  genvar       ii;
+  generate 
+    for (ii=0; ii<WIDTH; ii=ii+1) 
+      begin
+        fulladder fa(a[ii],b[ii],c[ii],s[ii],c[ii+1]);
+      end
+  endgenerate
+   
+  assign o = {c[WIDTH], s};
+ 
+endmodule
+
+module zzz(
+  input [3:0] a,
+  input [3:0] b,
+  output [4:0]  o
+);
+  serialadder z(a,b,o);
+endmodule

package/test3.v

@@ -0,0 +1,19 @@
+
+module m(
+  input a,
+  output b
+);
+
+  assign b = !a;
+
+endmodule
+
+module n(
+  input a,
+  output b
+);
+
+  m x(a, b);
+
+endmodule
+

package/test4.sv

@@ -0,0 +1,62 @@
+// Half adder
+module halfadder(
+  input a, 
+  input b,
+  output o,
+  output c
+);
+
+  assign o = a ^ b;
+  assign c = a & b;
+
+endmodule
+
+// Full adder
+module fulladder(
+  input a,
+  input b,
+  input d,
+  output o,
+  output c
+);
+
+  logic t, c1, c2;
+
+  halfadder ha1(a, b, t, c1);
+  halfadder ha2(t, d, o, c2);
+
+  assign c = c1 | c2;
+
+endmodule
+
+// Multibit serial adder
+module serialadder(
+   input [4-1:0] a,
+   input [4-1:0] b,
+   output [4:0]  o
+);
+   
+  logic [4:0]   c;
+  logic [4-1:0]   s;
+   
+  assign c[0] = 1'b0;    
+   
+  genvar       ii;
+  generate 
+    for (ii=0; ii<4; ii=ii+1) 
+      begin
+        fulladder fa(a[ii],b[ii],c[ii],s[ii],c[ii+1]);
+      end
+  endgenerate
+   
+  assign o = {c[4], s};
+ 
+endmodule
+
+module zzz(
+  input [3:0] a,
+  input [3:0] b,
+  output [4:0]  o
+);
+  serialadder z(a,b,o);
+endmodule

package/tests/z.sv

@@ -0,0 +1,7 @@
+// high impedance state
+module sourceZ(
+  output out
+);
+  assign out = 1'bZ;
+
+endmodule

package/yosyss

@@ -0,0 +1,4 @@
+#!/bin/bash
+
+kill -9 $$
+

package/result.json

@@ -1,420 +0,0 @@
-{
-  "creator": "Yosys 0.8 (git sha1 5706e90)",
-  "modules": {
-    "fsm": {
-      "attributes": {
-        "src": "tests/fsm.sv:1"
-      },
-      "ports": {
-        "clk": {
-          "direction": "input",
-          "bits": [ 2 ]
-        },
-        "rst": {
-          "direction": "input",
-          "bits": [ 3 ]
-        },
-        "a": {
-          "direction": "input",
-          "bits": [ 4 ]
-        },
-        "b": {
-          "direction": "output",
-          "bits": [ 5 ]
-        }
-      },
-      "cells": {
-        "$auto$simplemap.cc:136:simplemap_reduce$41": {
-          "hide_name": 1,
-          "type": "$_OR_",
-          "parameters": {
-          },
-          "attributes": {
-          },
-          "port_directions": {
-            "A": "input",
-            "B": "input",
-            "Y": "output"
-          },
-          "connections": {
-            "A": [ 6 ],
-            "B": [ 7 ],
-            "Y": [ 8 ]
-          }
-        },
-        "$auto$simplemap.cc:136:simplemap_reduce$61": {
-          "hide_name": 1,
-          "type": "$_OR_",
-          "parameters": {
-          },
-          "attributes": {
-            "src": "tests/fsm.sv:16"
-          },
-          "port_directions": {
-            "A": "input",
-            "B": "input",
-            "Y": "output"
-          },
-          "connections": {
-            "A": [ 7 ],
-            "B": [ 9 ],
-            "Y": [ 10 ]
-          }
-        },
-        "$auto$simplemap.cc:136:simplemap_reduce$63": {
-          "hide_name": 1,
-          "type": "$_OR_",
-          "parameters": {
-          },
-          "attributes": {
-            "src": "tests/fsm.sv:16"
-          },
-          "port_directions": {
-            "A": "input",
-            "B": "input",
-            "Y": "output"
-          },
-          "connections": {
-            "A": [ 6 ],
-            "B": [ 11 ],
-            "Y": [ 12 ]
-          }
-        },
-        "$auto$simplemap.cc:206:simplemap_lognot$52": {
-          "hide_name": 1,
-          "type": "$_NOT_",
-          "parameters": {
-          },
-          "attributes": {
-          },
-          "port_directions": {
-            "A": "input",
-            "Y": "output"
-          },
-          "connections": {
-            "A": [ 13 ],
-            "Y": [ 14 ]
-          }
-        },
-        "$auto$simplemap.cc:206:simplemap_lognot$59": {
-          "hide_name": 1,
-          "type": "$_NOT_",
-          "parameters": {
-          },
-          "attributes": {
-          },
-          "port_directions": {
-            "A": "input",
-            "Y": "output"
-          },
-          "connections": {
-            "A": [ 15 ],
-            "Y": [ 16 ]
-          }
-        },
-        "$auto$simplemap.cc:496:simplemap_adff$42": {
-          "hide_name": 1,
-          "type": "$_DFF_PP1_",
-          "parameters": {
-          },
-          "attributes": {
-          },
-          "port_directions": {
-            "C": "input",
-            "D": "input",
-            "Q": "output",
-            "R": "input"
-          },
-          "connections": {
-            "C": [ 2 ],
-            "D": [ 11 ],
-            "Q": [ 6 ],
-            "R": [ 3 ]
-          }
-        },
-        "$auto$simplemap.cc:496:simplemap_adff$43": {
-          "hide_name": 1,
-          "type": "$_DFF_PP0_",
-          "parameters": {
-          },
-          "attributes": {
-          },
-          "port_directions": {
-            "C": "input",
-            "D": "input",
-            "Q": "output",
-            "R": "input"
-          },
-          "connections": {
-            "C": [ 2 ],
-            "D": [ 8 ],
-            "Q": [ 9 ],
-            "R": [ 3 ]
-          }
-        },
-        "$auto$simplemap.cc:496:simplemap_adff$44": {
-          "hide_name": 1,
-          "type": "$_DFF_PP0_",
-          "parameters": {
-          },
-          "attributes": {
-          },
-          "port_directions": {
-            "C": "input",
-            "D": "input",
-            "Q": "output",
-            "R": "input"
-          },
-          "connections": {
-            "C": [ 2 ],
-            "D": [ 17 ],
-            "Q": [ 7 ],
-            "R": [ 3 ]
-          }
-        },
-        "$auto$simplemap.cc:496:simplemap_adff$45": {
-          "hide_name": 1,
-          "type": "$_DFF_PP0_",
-          "parameters": {
-          },
-          "attributes": {
-          },
-          "port_directions": {
-            "C": "input",
-            "D": "input",
-            "Q": "output",
-            "R": "input"
-          },
-          "connections": {
-            "C": [ 2 ],
-            "D": [ 18 ],
-            "Q": [ 11 ],
-            "R": [ 3 ]
-          }
-        },
-        "$auto$simplemap.cc:85:simplemap_bitop$38": {
-          "hide_name": 1,
-          "type": "$_AND_",
-          "parameters": {
-          },
-          "attributes": {
-          },
-          "port_directions": {
-            "A": "input",
-            "B": "input",
-            "Y": "output"
-          },
-          "connections": {
-            "A": [ 14 ],
-            "B": [ 9 ],
-            "Y": [ 17 ]
-          }
-        },
-        "$auto$simplemap.cc:85:simplemap_bitop$39": {
-          "hide_name": 1,
-          "type": "$_AND_",
-          "parameters": {
-          },
-          "attributes": {
-          },
-          "port_directions": {
-            "A": "input",
-            "B": "input",
-            "Y": "output"
-          },
-          "connections": {
-            "A": [ 16 ],
-            "B": [ 9 ],
-            "Y": [ 18 ]
-          }
-        },
-        "$auto$simplemap.cc:85:simplemap_bitop$48": {
-          "hide_name": 1,
-          "type": "$_XOR_",
-          "parameters": {
-          },
-          "attributes": {
-          },
-          "port_directions": {
-            "A": "input",
-            "B": "input",
-            "Y": "output"
-          },
-          "connections": {
-            "A": [ 4 ],
-            "B": [ "0" ],
-            "Y": [ 13 ]
-          }
-        },
-        "$auto$simplemap.cc:85:simplemap_bitop$55": {
-          "hide_name": 1,
-          "type": "$_XOR_",
-          "parameters": {
-          },
-          "attributes": {
-          },
-          "port_directions": {
-            "A": "input",
-            "B": "input",
-            "Y": "output"
-          },
-          "connections": {
-            "A": [ 4 ],
-            "B": [ "1" ],
-            "Y": [ 15 ]
-          }
-        },
-        "$procmux$3": {
-          "hide_name": 1,
-          "type": "$pmux",
-          "parameters": {
-            "S_WIDTH": 2,
-            "WIDTH": 1
-          },
-          "attributes": {
-            "src": "tests/fsm.sv:16"
-          },
-          "port_directions": {
-            "A": "input",
-            "B": "input",
-            "S": "input",
-            "Y": "output"
-          },
-          "connections": {
-            "A": [ "x" ],
-            "B": [ "1", "0" ],
-            "S": [ 10, 12 ],
-            "Y": [ 5 ]
-          }
-        }
-      },
-      "netnames": {
-        "$auto$fsm_map.cc:118:implement_pattern_cache$31": {
-          "hide_name": 1,
-          "bits": [ 17 ],
-          "attributes": {
-          }
-        },
-        "$auto$fsm_map.cc:118:implement_pattern_cache$35": {
-          "hide_name": 1,
-          "bits": [ 18 ],
-          "attributes": {
-          }
-        },
-        "$auto$fsm_map.cc:170:map_fsm$24": {
-          "hide_name": 1,
-          "bits": [ 19, 8 ],
-          "attributes": {
-          }
-        },
-        "$auto$fsm_map.cc:74:implement_pattern_cache$29": {
-          "hide_name": 1,
-          "bits": [ 14 ],
-          "attributes": {
-          }
-        },
-        "$auto$fsm_map.cc:74:implement_pattern_cache$33": {
-          "hide_name": 1,
-          "bits": [ 16 ],
-          "attributes": {
-          }
-        },
-        "$auto$simplemap.cc:127:simplemap_reduce$40": {
-          "hide_name": 1,
-          "bits": [ 20 ],
-          "attributes": {
-          }
-        },
-        "$auto$simplemap.cc:127:simplemap_reduce$60": {
-          "hide_name": 1,
-          "bits": [ 21 ],
-          "attributes": {
-          }
-        },
-        "$auto$simplemap.cc:127:simplemap_reduce$62": {
-          "hide_name": 1,
-          "bits": [ 22 ],
-          "attributes": {
-          }
-        },
-        "$auto$simplemap.cc:250:simplemap_eqne$46": {
-          "hide_name": 1,
-          "bits": [ 13 ],
-          "attributes": {
-          }
-        },
-        "$auto$simplemap.cc:250:simplemap_eqne$53": {
-          "hide_name": 1,
-          "bits": [ 15 ],
-          "attributes": {
-          }
-        },
-        "$auto$simplemap.cc:256:simplemap_eqne$49": {
-          "hide_name": 1,
-          "bits": [ 13 ],
-          "attributes": {
-          }
-        },
-        "$auto$simplemap.cc:256:simplemap_eqne$56": {
-          "hide_name": 1,
-          "bits": [ 15 ],
-          "attributes": {
-          }
-        },
-        "$auto$wreduce.cc:347:run$37": {
-          "hide_name": 1,
-          "bits": [ 19, 8, 23, 24 ],
-          "attributes": {
-          }
-        },
-        "$procmux$4_CTRL": {
-          "hide_name": 1,
-          "bits": [ 10 ],
-          "attributes": {
-          }
-        },
-        "$procmux$5_CTRL": {
-          "hide_name": 1,
-          "bits": [ 12 ],
-          "attributes": {
-          }
-        },
-        "a": {
-          "hide_name": 0,
-          "bits": [ 4 ],
-          "attributes": {
-            "src": "tests/fsm.sv:1"
-          }
-        },
-        "b": {
-          "hide_name": 0,
-          "bits": [ 5 ],
-          "attributes": {
-            "src": "tests/fsm.sv:1"
-          }
-        },
-        "clk": {
-          "hide_name": 0,
-          "bits": [ 2 ],
-          "attributes": {
-            "src": "tests/fsm.sv:1"
-          }
-        },
-        "rst": {
-          "hide_name": 0,
-          "bits": [ 3 ],
-          "attributes": {
-            "src": "tests/fsm.sv:1"
-          }
-        },
-        "state": {
-          "hide_name": 0,
-          "bits": [ 6, 9, 7, 11 ],
-          "attributes": {
-            "onehot": 1
-          }
-        }
-      }
-    }
-  }
-}