@celox-sim/celox 0.1.5 → 0.1.7

package/dist/simulator.d.ts

@@ -4,7 +4,7 @@
  * Wraps a NativeSimulatorHandle and provides a high-level TypeScript API
  * for manually controlling clock edges via `tick()`.
  */
-import type { CreateResult, EventHandle, ModuleDefinition, NativeSimulatorHandle, SimulatorOptions } from "./types.js";
+import type { CreateResult, EventHandle, FourStateValue, ModuleDefinition, NativeSimulatorHandle, SimulatorOptions } from "./types.js";
 /**
  * Placeholder for the NAPI binding's `createSimulator()`.
  * Stream B will provide the real implementation; until then tests can
@@ -25,6 +25,8 @@ export declare class Simulator<P = Record<string, unknown>> {
     private readonly _events;
     private readonly _defaultEventId;
     private readonly _state;
+    private readonly _buffer;
+    private readonly _layout;
     private _disposed;
     private constructor();
     /**
@@ -83,6 +85,10 @@ export declare class Simulator<P = Record<string, unknown>> {
     tick(count?: number): void;
     /** Resolve an event name to a handle for use with `tick()`. */
     event(name: string): EventHandle;
+    /**
+     * Read the raw 4-state (value + mask) pair for the named port.
+     */
+    fourState(portName: string): FourStateValue;
     /** Write current signal values to VCD at the given timestamp. */
     dump(timestamp: number): void;
     /** Release native resources. */

package/dist/simulator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"simulator.d.ts","sourceRoot":"","sources":["../src/simulator.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,YAAY,EACZ,WAAW,EACX,gBAAgB,EAChB,qBAAqB,EACrB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AASpB;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,GAAG,CAC3B,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,gBAAgB,KACtB,YAAY,CAAC,qBAAqB,CAAC,CAAC;AAIzC;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,EAAE,EAAE,cAAc,GAAG,IAAI,CAEjE;AAMD,qBAAa,SAAS,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAChD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAwB;IAChD,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAI;IACzB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAyB;IACjD,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAS;IACzC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAa;IACpC,OAAO,CAAC,SAAS,CAAS;IAE1B,OAAO;IAcP;;;;;;;OAOG;IACH,MAAM,CAAC,MAAM,CAAC,CAAC,EACb,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC,EAC3B,OAAO,CAAC,EAAE,gBAAgB,GAAG;QAC3B,iEAAiE;QACjE,cAAc,CAAC,EAAE,cAAc,CAAC;KACjC,GACA,SAAS,CAAC,CAAC,CAAC;IA6Bf;;;;;;;;;;;;;OAaG;IACH,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC3C,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,MAAM,EACX,OAAO,CAAC,EAAE,gBAAgB,GAAG;QAAE,eAAe,CAAC,EAAE,MAAM,CAAA;KAAE,GACxD,SAAS,CAAC,CAAC,CAAC;IAmBf;;;;;;;;;;OAUG;IACH,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5C,WAAW,EAAE,MAAM,EACnB,GAAG,EAAE,MAAM,EACX,OAAO,CAAC,EAAE,gBAAgB,GAAG;QAAE,eAAe,CAAC,EAAE,MAAM,CAAA;KAAE,GACxD,SAAS,CAAC,CAAC,CAAC;IAmBf,sEAAsE;IACtE,IAAI,GAAG,IAAI,CAAC,CAEX;IAED;;;;;;OAMG;IACH,IAAI,CAAC,KAAK,CAAC,EAAE,WAAW,GAAG,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI;IACxD,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI;IAgC1B,+DAA+D;IAC/D,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW;IAUhC,iEAAiE;IACjE,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI;IAK7B,gCAAgC;IAChC,OAAO,IAAI,IAAI;IAWf,OAAO,CAAC,WAAW;CAKpB"}
+{"version":3,"file":"simulator.d.ts","sourceRoot":"","sources":["../src/simulator.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,YAAY,EACZ,WAAW,EACX,cAAc,EACd,gBAAgB,EAChB,qBAAqB,EAErB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AAWpB;;;;;;GAMG;AACH,MAAM,MAAM,cAAc,GAAG,CAC3B,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,gBAAgB,KACtB,YAAY,CAAC,qBAAqB,CAAC,CAAC;AAIzC;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,EAAE,EAAE,cAAc,GAAG,IAAI,CAEjE;AAMD,qBAAa,SAAS,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAChD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAwB;IAChD,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAI;IACzB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAyB;IACjD,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAS;IACzC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAa;IACpC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAkC;IAC1D,OAAO,CAAC,QAAQ,CAAC,OAAO,CAA+B;IACvD,OAAO,CAAC,SAAS,CAAS;IAE1B,OAAO;IAkBP;;;;;;;OAOG;IACH,MAAM,CAAC,MAAM,CAAC,CAAC,EACb,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC,EAC3B,OAAO,CAAC,EAAE,gBAAgB,GAAG;QAC3B,iEAAiE;QACjE,cAAc,CAAC,EAAE,cAAc,CAAC;KACjC,GACA,SAAS,CAAC,CAAC,CAAC;IA8Bf;;;;;;;;;;;;;OAaG;IACH,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC3C,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,MAAM,EACX,OAAO,CAAC,EAAE,gBAAgB,GAAG;QAAE,eAAe,CAAC,EAAE,MAAM,CAAA;KAAE,GACxD,SAAS,CAAC,CAAC,CAAC;IAoBf;;;;;;;;;;OAUG;IACH,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC5C,WAAW,EAAE,MAAM,EACnB,GAAG,EAAE,MAAM,EACX,OAAO,CAAC,EAAE,gBAAgB,GAAG;QAAE,eAAe,CAAC,EAAE,MAAM,CAAA;KAAE,GACxD,SAAS,CAAC,CAAC,CAAC;IAoBf,sEAAsE;IACtE,IAAI,GAAG,IAAI,CAAC,CAEX;IAED;;;;;;OAMG;IACH,IAAI,CAAC,KAAK,CAAC,EAAE,WAAW,GAAG,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI;IACxD,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI;IAoC1B,+DAA+D;IAC/D,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW;IAUhC;;OAEG;IACH,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,cAAc;IAY3C,iEAAiE;IACjE,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI;IAK7B,gCAAgC;IAChC,OAAO,IAAI,IAAI;IAWf,OAAO,CAAC,WAAW;CAKpB"}

package/dist/simulator.js

@@ -4,8 +4,8 @@
  * Wraps a NativeSimulatorHandle and provides a high-level TypeScript API
  * for manually controlling clock edges via `tick()`.
  */
-import { createDut } from "./dut.js";
-import { loadNativeAddon, parseNapiLayout, buildPortsFromLayout, wrapDirectSimulatorHandle, } from "./napi-helpers.js";
+import { createDut, readFourState } from "./dut.js";
+import { loadNativeAddon, parseNapiLayout, parseHierarchyLayout, buildPortsFromLayout, wrapDirectSimulatorHandle, buildNapiOpts, } from "./napi-helpers.js";
 let _nativeCreate;
 /**
  * Register the NAPI binding at module load time.
@@ -24,12 +24,16 @@ export class Simulator {
     _events;
     _defaultEventId;
     _state;
+    _buffer;
+    _layout;
     _disposed = false;
-    constructor(handle, dut, events, state) {
+    constructor(handle, dut, events, state, buffer, layout) {
         this._handle = handle;
         this._dut = dut;
         this._events = events;
         this._state = state;
+        this._buffer = buffer;
+        this._layout = layout;
         const keys = Object.keys(events);
         this._defaultEventId = keys.length > 0 ? events[keys[0]] : -1;
     }
@@ -51,11 +55,11 @@ export class Simulator {
             throw new Error("Native simulator binding not loaded. " +
                 "Ensure @celox-sim/celox-napi is installed.");
         }
-        const { fourState, vcd } = options ?? {};
-        const result = createFn(module.source, module.name, { fourState, vcd });
+        const { fourState, vcd, optimize, falseLoops, trueLoops, clockType, resetType } = options ?? {};
+        const result = createFn(module.source, module.name, { fourState, vcd, optimize, falseLoops, trueLoops, clockType, resetType });
         const state = { dirty: false };
-        const dut = createDut(result.buffer, result.layout, module.ports, result.handle, state);
-        return new Simulator(result.handle, dut, result.events, state);
+        const dut = createDut(result.buffer, result.layout, module.ports, result.handle, state, result.hierarchy);
+        return new Simulator(result.handle, dut, result.events, state, result.buffer, result.layout);
     }
     /**
      * Create a Simulator directly from Veryl source code.
@@ -73,16 +77,17 @@ export class Simulator {
      */
     static fromSource(source, top, options) {
         const addon = loadNativeAddon(options?.nativeAddonPath);
-        const napiOpts = options?.fourState ? { fourState: options.fourState } : undefined;
+        const napiOpts = buildNapiOpts(options);
         const raw = new addon.NativeSimulatorHandle(source, top, napiOpts);
         const layout = parseNapiLayout(raw.layoutJson);
         const events = JSON.parse(raw.eventsJson);
+        const hierarchy = parseHierarchyLayout(raw.hierarchyJson, events);
         const ports = buildPortsFromLayout(layout.signals, events);
         const buf = raw.sharedMemory().buffer;
         const state = { dirty: false };
         const handle = wrapDirectSimulatorHandle(raw);
-        const dut = createDut(buf, layout.forDut, ports, handle, state);
-        return new Simulator(handle, dut, events, state);
+        const dut = createDut(buf, layout.forDut, ports, handle, state, hierarchy);
+        return new Simulator(handle, dut, events, state, buf, layout.forDut);
     }
     /**
      * Create a Simulator from a Veryl project directory.
@@ -97,16 +102,17 @@ export class Simulator {
      */
     static fromProject(projectPath, top, options) {
         const addon = loadNativeAddon(options?.nativeAddonPath);
-        const napiOpts = options?.fourState ? { fourState: options.fourState } : undefined;
+        const napiOpts = buildNapiOpts(options);
         const raw = addon.NativeSimulatorHandle.fromProject(projectPath, top, napiOpts);
         const layout = parseNapiLayout(raw.layoutJson);
         const events = JSON.parse(raw.eventsJson);
+        const hierarchy = parseHierarchyLayout(raw.hierarchyJson, events);
         const ports = buildPortsFromLayout(layout.signals, events);
         const buf = raw.sharedMemory().buffer;
         const state = { dirty: false };
         const handle = wrapDirectSimulatorHandle(raw);
-        const dut = createDut(buf, layout.forDut, ports, handle, state);
-        return new Simulator(handle, dut, events, state);
+        const dut = createDut(buf, layout.forDut, ports, handle, state, hierarchy);
+        return new Simulator(handle, dut, events, state, buf, layout.forDut);
     }
     /** The DUT accessor object — read/write ports as plain properties. */
     get dut() {
@@ -131,13 +137,16 @@ export class Simulator {
             eventId = this._defaultEventId;
             ticks = 1;
         }
+        if (this._state.dirty) {
+            this._handle.evalComb();
+            this._state.dirty = false;
+        }
         if (ticks === 1) {
             this._handle.tick(eventId);
         }
         else if (ticks > 1) {
             this._handle.tickN(eventId, ticks);
         }
-        this._state.dirty = false;
     }
     /** Resolve an event name to a handle for use with `tick()`. */
     event(name) {
@@ -147,6 +156,18 @@ export class Simulator {
         }
         return { name, id };
     }
+    /**
+     * Read the raw 4-state (value + mask) pair for the named port.
+     */
+    fourState(portName) {
+        this.ensureAlive();
+        const sig = this._layout[portName];
+        if (!sig) {
+            throw new Error(`Unknown port '${portName}'. Available: ${Object.keys(this._layout).join(", ")}`);
+        }
+        const [value, mask] = readFourState(this._buffer, sig);
+        return { __fourState: true, value, mask };
+    }
     /** Write current signal values to VCD at the given timestamp. */
     dump(timestamp) {
         this.ensureAlive();

package/dist/simulator.js.map

@@ -1 +1 @@
-{"version":3,"file":"simulator.js","sourceRoot":"","sources":["../src/simulator.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AASH,OAAO,EAAE,SAAS,EAAmB,MAAM,UAAU,CAAC;AACtD,OAAO,EACL,eAAe,EACf,eAAe,EACf,oBAAoB,EACpB,yBAAyB,GAC1B,MAAM,mBAAmB,CAAC;AAe3B,IAAI,aAAyC,CAAC;AAE9C;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,EAAkB;IACzD,aAAa,GAAG,EAAE,CAAC;AACrB,CAAC;AAED,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E,MAAM,OAAO,SAAS;IACH,OAAO,CAAwB;IAC/B,IAAI,CAAI;IACR,OAAO,CAAyB;IAChC,eAAe,CAAS;IACxB,MAAM,CAAa;IAC5B,SAAS,GAAG,KAAK,CAAC;IAE1B,YACE,MAA6B,EAC7B,GAAM,EACN,MAA8B,EAC9B,KAAiB;QAEjB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC;QAChB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACpB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,CAAC;IAED;;;;;;;OAOG;IACH,MAAM,CAAC,MAAM,CACX,MAA2B,EAC3B,OAGC;QAED,6EAA6E;QAC7E,IAAI,MAAM,CAAC,WAAW,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC;YACnD,OAAO,SAAS,CAAC,WAAW,CAAI,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5E,CAAC;QAED,MAAM,QAAQ,GAAG,OAAO,EAAE,cAAc,IAAI,aAAa,CAAC;QAC1D,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CACb,uCAAuC;gBACrC,4CAA4C,CAC/C,CAAC;QACJ,CAAC;QAED,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,OAAO,IAAI,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;QACxE,MAAM,KAAK,GAAe,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAE3C,MAAM,GAAG,GAAG,SAAS,CACnB,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,KAAK,EACZ,MAAM,CAAC,MAAM,EACb,KAAK,CACN,CAAC;QAEF,OAAO,IAAI,SAAS,CAAI,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACpE,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,MAAM,CAAC,UAAU,CACf,MAAc,EACd,GAAW,EACX,OAAyD;QAEzD,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACnF,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,qBAAqB,CAAC,MAAM,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QAEnE,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC/C,MAAM,MAAM,GAA2B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAElE,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAE3D,MAAM,GAAG,GAAG,GAAG,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC;QAEtC,MAAM,KAAK,GAAe,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,SAAS,CAAI,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QAEnE,OAAO,IAAI,SAAS,CAAI,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC;IAED;;;;;;;;;;OAUG;IACH,MAAM,CAAC,WAAW,CAChB,WAAmB,EACnB,GAAW,EACX,OAAyD;QAEzD,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QACnF,MAAM,GAAG,GAAG,KAAK,CAAC,qBAAqB,CAAC,WAAW,CAAC,WAAW,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QAEhF,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC/C,MAAM,MAAM,GAA2B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAElE,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAE3D,MAAM,GAAG,GAAG,GAAG,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC;QAEtC,MAAM,KAAK,GAAe,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,SAAS,CAAI,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QAEnE,OAAO,IAAI,SAAS,CAAI,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC;IAED,sEAAsE;IACtE,IAAI,GAAG;QACL,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAWD,IAAI,CACF,YAAmC,EACnC,KAAc;QAEd,IAAI,CAAC,WAAW,EAAE,CAAC;QAEnB,IAAI,OAAe,CAAC;QACpB,IAAI,KAAa,CAAC;QAElB,IAAI,OAAO,YAAY,KAAK,QAAQ,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;YAC9D,4BAA4B;YAC5B,OAAO,GAAI,YAA4B,CAAC,EAAE,CAAC;YAC3C,KAAK,GAAG,KAAK,IAAI,CAAC,CAAC;QACrB,CAAC;aAAM,IAAI,OAAO,YAAY,KAAK,QAAQ,EAAE,CAAC;YAC5C,8BAA8B;YAC9B,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC;YAC/B,KAAK,GAAG,YAAY,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,iCAAiC;YACjC,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC;YAC/B,KAAK,GAAG,CAAC,CAAC;QACZ,CAAC;QAED,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7B,CAAC;aAAM,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACrC,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC;IAC5B,CAAC;IAED,+DAA+D;IAC/D,KAAK,CAAC,IAAY;QAChB,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CACb,kBAAkB,IAAI,iBAAiB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC9E,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IACtB,CAAC;IAED,iEAAiE;IACjE,IAAI,CAAC,SAAiB;QACpB,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/B,CAAC;IAED,gCAAgC;IAChC,OAAO;QACL,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YACpB,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;YACtB,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QACzB,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,WAAW;IACX,0EAA0E;IAElE,WAAW;QACjB,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;CACF"}
+{"version":3,"file":"simulator.js","sourceRoot":"","sources":["../src/simulator.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAWH,OAAO,EAAE,SAAS,EAAE,aAAa,EAAmB,MAAM,UAAU,CAAC;AACrE,OAAO,EACL,eAAe,EACf,eAAe,EACf,oBAAoB,EACpB,oBAAoB,EACpB,yBAAyB,EACzB,aAAa,GACd,MAAM,mBAAmB,CAAC;AAe3B,IAAI,aAAyC,CAAC;AAE9C;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,EAAkB;IACzD,aAAa,GAAG,EAAE,CAAC;AACrB,CAAC;AAED,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E,MAAM,OAAO,SAAS;IACH,OAAO,CAAwB;IAC/B,IAAI,CAAI;IACR,OAAO,CAAyB;IAChC,eAAe,CAAS;IACxB,MAAM,CAAa;IACnB,OAAO,CAAkC;IACzC,OAAO,CAA+B;IAC/C,SAAS,GAAG,KAAK,CAAC;IAE1B,YACE,MAA6B,EAC7B,GAAM,EACN,MAA8B,EAC9B,KAAiB,EACjB,MAAuC,EACvC,MAAoC;QAEpC,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC;QAChB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;QACtB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,CAAC;IAED;;;;;;;OAOG;IACH,MAAM,CAAC,MAAM,CACX,MAA2B,EAC3B,OAGC;QAED,6EAA6E;QAC7E,IAAI,MAAM,CAAC,WAAW,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC;YACnD,OAAO,SAAS,CAAC,WAAW,CAAI,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC5E,CAAC;QAED,MAAM,QAAQ,GAAG,OAAO,EAAE,cAAc,IAAI,aAAa,CAAC;QAC1D,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CACb,uCAAuC;gBACrC,4CAA4C,CAC/C,CAAC;QACJ,CAAC;QAED,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,OAAO,IAAI,EAAE,CAAC;QAChG,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;QAC/H,MAAM,KAAK,GAAe,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAE3C,MAAM,GAAG,GAAG,SAAS,CACnB,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,KAAK,EACZ,MAAM,CAAC,MAAM,EACb,KAAK,EACL,MAAM,CAAC,SAAS,CACjB,CAAC;QAEF,OAAO,IAAI,SAAS,CAAI,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAClG,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,MAAM,CAAC,UAAU,CACf,MAAc,EACd,GAAW,EACX,OAAyD;QAEzD,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,qBAAqB,CAAC,MAAM,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QAEnE,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC/C,MAAM,MAAM,GAA2B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAClE,MAAM,SAAS,GAAG,oBAAoB,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QAElE,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAE3D,MAAM,GAAG,GAAG,GAAG,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC;QAEtC,MAAM,KAAK,GAAe,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,SAAS,CAAI,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QAE9E,OAAO,IAAI,SAAS,CAAI,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1E,CAAC;IAED;;;;;;;;;;OAUG;IACH,MAAM,CAAC,WAAW,CAChB,WAAmB,EACnB,GAAW,EACX,OAAyD;QAEzD,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,KAAK,CAAC,qBAAqB,CAAC,WAAW,CAAC,WAAW,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QAEhF,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC/C,MAAM,MAAM,GAA2B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAClE,MAAM,SAAS,GAAG,oBAAoB,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QAElE,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAE3D,MAAM,GAAG,GAAG,GAAG,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC;QAEtC,MAAM,KAAK,GAAe,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,SAAS,CAAI,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QAE9E,OAAO,IAAI,SAAS,CAAI,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1E,CAAC;IAED,sEAAsE;IACtE,IAAI,GAAG;QACL,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAWD,IAAI,CACF,YAAmC,EACnC,KAAc;QAEd,IAAI,CAAC,WAAW,EAAE,CAAC;QAEnB,IAAI,OAAe,CAAC;QACpB,IAAI,KAAa,CAAC;QAElB,IAAI,OAAO,YAAY,KAAK,QAAQ,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;YAC9D,4BAA4B;YAC5B,OAAO,GAAI,YAA4B,CAAC,EAAE,CAAC;YAC3C,KAAK,GAAG,KAAK,IAAI,CAAC,CAAC;QACrB,CAAC;aAAM,IAAI,OAAO,YAAY,KAAK,QAAQ,EAAE,CAAC;YAC5C,8BAA8B;YAC9B,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC;YAC/B,KAAK,GAAG,YAAY,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,iCAAiC;YACjC,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC;YAC/B,KAAK,GAAG,CAAC,CAAC;QACZ,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YACtB,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;YACxB,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC;QAC5B,CAAC;QAED,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7B,CAAC;aAAM,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED,+DAA+D;IAC/D,KAAK,CAAC,IAAY;QAChB,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CACb,kBAAkB,IAAI,iBAAiB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC9E,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IACtB,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,QAAgB;QACxB,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACnC,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM,IAAI,KAAK,CACb,iBAAiB,QAAQ,iBAAiB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACjF,CAAC;QACJ,CAAC;QACD,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACvD,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC;IAED,iEAAiE;IACjE,IAAI,CAAC,SAAiB;QACpB,IAAI,CAAC,WAAW,EAAE,CAAC;QACnB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/B,CAAC;IAED,gCAAgC;IAChC,OAAO;QACL,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YACpB,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;YACtB,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;QACzB,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,WAAW;IACX,0EAA0E;IAElE,WAAW;QACjB,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;CACF"}

package/dist/types.d.ts

@@ -47,6 +47,10 @@ export interface SignalLayout {
     /** If true, an equal-sized mask follows immediately after the value. */
     readonly is4state: boolean;
     readonly direction: "input" | "output" | "inout";
+    /** The Veryl type kind (e.g. "clock", "reset_async_high", "logic"). */
+    readonly typeKind?: string;
+    /** For reset signals, the name of the associated clock (from FfDeclaration). */
+    readonly associatedClock?: string;
 }
 /**
  * Opaque handle returned by NAPI for event-based simulation.
@@ -69,6 +73,7 @@ export interface NativeSimulationHandle {
     runUntil(endTime: number): void;
     step(): number | null;
     time(): number;
+    nextEventTime(): number | null;
     evalComb(): void;
     dump(timestamp: number): void;
     dispose(): void;
@@ -91,12 +96,24 @@ export interface CreateResult<H extends NativeHandle = NativeHandle> {
     readonly events: Record<string, number>;
     /** Native control handle. */
     readonly handle: H;
+    /** Full instance hierarchy (optional — present when NAPI provides it). */
+    readonly hierarchy?: import("./napi-helpers.js").HierarchyNode;
 }
 export interface SimulatorOptions {
     /** Enable 4-state (X/Z) simulation. Default: false. */
     fourState?: boolean;
     /** Path to write VCD waveform output. */
     vcd?: string;
+    /** Enable Cranelift optimization passes. */
+    optimize?: boolean;
+    /** False-loop declarations to ignore during compilation. */
+    falseLoops?: LoopBreak[];
+    /** True-loop declarations with convergence limits. */
+    trueLoops?: TrueLoopSpec[];
+    /** Clock polarity. Default: "posedge". */
+    clockType?: "posedge" | "negedge";
+    /** Reset type. Default: "async_low". */
+    resetType?: "async_high" | "async_low" | "sync_high" | "sync_low";
 }
 /** A resolved event reference for use with `tick()`. */
 export interface EventHandle {
@@ -108,10 +125,27 @@ export declare const X: unique symbol;
 /** A 4-state value with explicit bit-level mask. */
 export interface FourStateValue {
     readonly __fourState: true;
-    readonly value: number | bigint;
-    readonly mask: number | bigint;
+    readonly value: bigint;
+    readonly mask: bigint;
 }
 /** Construct a 4-state value. Mask bits set to 1 indicate X. */
 export declare function FourState(value: number | bigint, mask: number | bigint): FourStateValue;
 export declare function isFourStateValue(v: unknown): v is FourStateValue;
+/**
+ * Thrown when a simulation helper exceeds its step budget.
+ */
+export declare class SimulationTimeoutError extends Error {
+    readonly time: number;
+    readonly steps: number;
+    constructor(message: string, time: number, steps: number);
+}
+/** Specifies a false-loop to ignore during compilation. */
+export interface LoopBreak {
+    from: string;
+    to: string;
+}
+/** Specifies a true-loop with a convergence iteration limit. */
+export interface TrueLoopSpec extends LoopBreak {
+    maxIter: number;
+}
 //# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAMH;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB,CAAC,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAC/D,QAAQ,CAAC,cAAc,EAAE,IAAI,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAC1B,yEAAyE;IACzE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,sEAAsE;IACtE,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC;CAC1B;AAED,qDAAqD;AACrD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;IACjD,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,KAAK,CAAC;IACnD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,4CAA4C;IAC5C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;CAC/C;AAMD;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,4CAA4C;IAC5C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,+BAA+B;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;CAClD;AAMD;;;GAGG;AACH,MAAM,WAAW,qBAAqB;IACpC,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5C,QAAQ,IAAI,IAAI,CAAC;IACjB,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,OAAO,IAAI,IAAI,CAAC;CACjB;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACtE,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7D,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,IAAI,IAAI,MAAM,GAAG,IAAI,CAAC;IACtB,IAAI,IAAI,MAAM,CAAC;IACf,QAAQ,IAAI,IAAI,CAAC;IACjB,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,OAAO,IAAI,IAAI,CAAC;CACjB;AAED;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG,qBAAqB,GAAG,sBAAsB,CAAC;AAE1E;;;GAGG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,YAAY,GAAG,YAAY;IACjE,+DAA+D;IAC/D,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,iBAAiB,CAAC;IACjD,8CAA8C;IAC9C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC9C,8CAA8C;IAC9C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxC,6BAA6B;IAC7B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;CACpB;AAMD,MAAM,WAAW,gBAAgB;IAC/B,uDAAuD;IACvD,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,yCAAyC;IACzC,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAMD,wDAAwD;AACxD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAMD,mCAAmC;AACnC,eAAO,MAAM,CAAC,eAAwB,CAAC;AAEvC,oDAAoD;AACpD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;CAChC;AAED,gEAAgE;AAChE,wBAAgB,SAAS,CACvB,KAAK,EAAE,MAAM,GAAG,MAAM,EACtB,IAAI,EAAE,MAAM,GAAG,MAAM,GACpB,cAAc,CAEhB;AAED,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,cAAc,CAMhE"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAMH;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB,CAAC,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAC/D,QAAQ,CAAC,cAAc,EAAE,IAAI,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAC1B,yEAAyE;IACzE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,sEAAsE;IACtE,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC;CAC1B;AAED,qDAAqD;AACrD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;IACjD,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,KAAK,CAAC;IACnD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,4CAA4C;IAC5C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;CAC/C;AAMD;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,4CAA4C;IAC5C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,+BAA+B;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;IACjD,uEAAuE;IACvE,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,gFAAgF;IAChF,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;CACnC;AAMD;;;GAGG;AACH,MAAM,WAAW,qBAAqB;IACpC,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5C,QAAQ,IAAI,IAAI,CAAC;IACjB,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,OAAO,IAAI,IAAI,CAAC;CACjB;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACtE,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7D,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,IAAI,IAAI,MAAM,GAAG,IAAI,CAAC;IACtB,IAAI,IAAI,MAAM,CAAC;IACf,aAAa,IAAI,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,IAAI,IAAI,CAAC;IACjB,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,OAAO,IAAI,IAAI,CAAC;CACjB;AAED;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG,qBAAqB,GAAG,sBAAsB,CAAC;AAE1E;;;GAGG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,YAAY,GAAG,YAAY;IACjE,+DAA+D;IAC/D,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,iBAAiB,CAAC;IACjD,8CAA8C;IAC9C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC9C,8CAA8C;IAC9C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxC,6BAA6B;IAC7B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IACnB,0EAA0E;IAC1E,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,mBAAmB,EAAE,aAAa,CAAC;CAChE;AAMD,MAAM,WAAW,gBAAgB;IAC/B,uDAAuD;IACvD,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,yCAAyC;IACzC,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,4CAA4C;IAC5C,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,4DAA4D;IAC5D,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB,sDAAsD;IACtD,SAAS,CAAC,EAAE,YAAY,EAAE,CAAC;IAC3B,0CAA0C;IAC1C,SAAS,CAAC,EAAE,SAAS,GAAG,SAAS,CAAC;IAClC,wCAAwC;IACxC,SAAS,CAAC,EAAE,YAAY,GAAG,WAAW,GAAG,WAAW,GAAG,UAAU,CAAC;CACnE;AAMD,wDAAwD;AACxD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAMD,mCAAmC;AACnC,eAAO,MAAM,CAAC,eAAwB,CAAC;AAEvC,oDAAoD;AACpD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,gEAAgE;AAChE,wBAAgB,SAAS,CACvB,KAAK,EAAE,MAAM,GAAG,MAAM,EACtB,IAAI,EAAE,MAAM,GAAG,MAAM,GACpB,cAAc,CAEhB;AAED,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,cAAc,CAMhE;AAMD;;GAEG;AACH,qBAAa,sBAAuB,SAAQ,KAAK;IAC/C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;gBAEX,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM;CAMzD;AAMD,2DAA2D;AAC3D,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,gEAAgE;AAChE,MAAM,WAAW,YAAa,SAAQ,SAAS;IAC7C,OAAO,EAAE,MAAM,CAAC;CACjB"}

package/dist/types.js

@@ -13,11 +13,27 @@
 export const X = Symbol.for("veryl:X");
 /** Construct a 4-state value. Mask bits set to 1 indicate X. */
 export function FourState(value, mask) {
-    return { __fourState: true, value, mask };
+    return { __fourState: true, value: BigInt(value), mask: BigInt(mask) };
 }
 export function isFourStateValue(v) {
     return (typeof v === "object" &&
         v !== null &&
         v.__fourState === true);
 }
+// ---------------------------------------------------------------------------
+// Simulation timeout error
+// ---------------------------------------------------------------------------
+/**
+ * Thrown when a simulation helper exceeds its step budget.
+ */
+export class SimulationTimeoutError extends Error {
+    time;
+    steps;
+    constructor(message, time, steps) {
+        super(message);
+        this.name = "SimulationTimeoutError";
+        this.time = time;
+        this.steps = steps;
+    }
+}
 //# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAgIH,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E,mCAAmC;AACnC,MAAM,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AASvC,gEAAgE;AAChE,MAAM,UAAU,SAAS,CACvB,KAAsB,EACtB,IAAqB;IAErB,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,CAAU;IACzC,OAAO,CACL,OAAO,CAAC,KAAK,QAAQ;QACrB,CAAC,KAAK,IAAI;QACT,CAAoB,CAAC,WAAW,KAAK,IAAI,CAC3C,CAAC;AACJ,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAiJH,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E,mCAAmC;AACnC,MAAM,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AASvC,gEAAgE;AAChE,MAAM,UAAU,SAAS,CACvB,KAAsB,EACtB,IAAqB;IAErB,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;AACzE,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,CAAU;IACzC,OAAO,CACL,OAAO,CAAC,KAAK,QAAQ;QACrB,CAAC,KAAK,IAAI;QACT,CAAoB,CAAC,WAAW,KAAK,IAAI,CAC3C,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E;;GAEG;AACH,MAAM,OAAO,sBAAuB,SAAQ,KAAK;IACtC,IAAI,CAAS;IACb,KAAK,CAAS;IAEvB,YAAY,OAAe,EAAE,IAAY,EAAE,KAAa;QACtD,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAC;QACrC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;CACF"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@celox-sim/celox",
-  "version": "0.1.5",
+  "version": "0.1.7",
   "description": "TypeScript runtime for Celox HDL simulation",
   "type": "module",
   "main": "./dist/index.js",
@@ -29,7 +29,7 @@
   },
   "license": "MIT",
   "dependencies": {
-    "@celox-sim/celox-napi": "0.1.5"
+    "@celox-sim/celox-napi": "0.1.7"
   },
   "peerDependencies": {
     "vitest": ">=1.0.0"

package/src/dut.test.ts

@@ -41,11 +41,11 @@ describe("createDut — scalar ports", () => {
     const handle = mockHandle();
     const state: DirtyState = { dirty: false };
 
-    const dut = createDut<{ a: number }>(buffer, layout, ports, handle, state);
+    const dut = createDut<{ a: bigint }>(buffer, layout, ports, handle, state);
 
-    dut.a = 42;
+    dut.a = 42n;
     expect(state.dirty).toBe(true);
-    expect(dut.a).toBe(42);
+    expect(dut.a).toBe(42n);
     // Reading an input doesn't trigger evalComb
     expect(handle.evalComb).not.toHaveBeenCalled();
   });
@@ -61,10 +61,10 @@ describe("createDut — scalar ports", () => {
     const handle = mockHandle();
     const state: DirtyState = { dirty: false };
 
-    const dut = createDut<{ a: number }>(buffer, layout, ports, handle, state);
+    const dut = createDut<{ a: bigint }>(buffer, layout, ports, handle, state);
 
-    dut.a = 0xABCD;
-    expect(dut.a).toBe(0xABCD);
+    dut.a = 0xABCDn;
+    expect(dut.a).toBe(0xABCDn);
   });
 
   test("write and read 32-bit input", () => {
@@ -78,13 +78,13 @@ describe("createDut — scalar ports", () => {
     const handle = mockHandle();
     const state: DirtyState = { dirty: false };
 
-    const dut = createDut<{ a: number }>(buffer, layout, ports, handle, state);
+    const dut = createDut<{ a: bigint }>(buffer, layout, ports, handle, state);
 
-    dut.a = 0xDEAD_BEEF;
-    expect(dut.a).toBe(0xDEAD_BEEF);
+    dut.a = 0xDEAD_BEEFn;
+    expect(dut.a).toBe(0xDEAD_BEEFn);
   });
 
-  test("write and read 48-bit value (fits in number)", () => {
+  test("write and read 48-bit value", () => {
     const buffer = makeBuffer(64);
     const layout: Record<string, SignalLayout> = {
       a: { offset: 0, width: 48, byteSize: 8, is4state: false, direction: "input" },
@@ -95,9 +95,9 @@ describe("createDut — scalar ports", () => {
     const handle = mockHandle();
     const state: DirtyState = { dirty: false };
 
-    const dut = createDut<{ a: number }>(buffer, layout, ports, handle, state);
+    const dut = createDut<{ a: bigint }>(buffer, layout, ports, handle, state);
 
-    const val = 0x1234_5678_9ABC;
+    const val = 0x1234_5678_9ABCn;
     dut.a = val;
     expect(dut.a).toBe(val);
   });
@@ -131,10 +131,10 @@ describe("createDut — scalar ports", () => {
     const handle = mockHandle();
     const state: DirtyState = { dirty: false };
 
-    const dut = createDut<{ a: number }>(buffer, layout, ports, handle, state);
+    const dut = createDut<{ a: bigint }>(buffer, layout, ports, handle, state);
 
-    dut.a = 0xFF; // Only lower 4 bits should be stored
-    expect(dut.a).toBe(0x0F);
+    dut.a = 0xFFn; // Only lower 4 bits should be stored
+    expect(dut.a).toBe(0x0Fn);
   });
 });
 
@@ -156,12 +156,12 @@ describe("createDut — dirty tracking", () => {
     const handle = mockHandle();
     const state: DirtyState = { dirty: false };
 
-    const dut = createDut<{ a: number; readonly sum: number }>(
+    const dut = createDut<{ a: bigint; readonly sum: bigint }>(
       buffer, layout, ports, handle, state,
     );
 
     // Write input → dirty
-    dut.a = 100;
+    dut.a = 100n;
     expect(state.dirty).toBe(true);
 
     // Read output → evalComb should be called
@@ -181,7 +181,7 @@ describe("createDut — dirty tracking", () => {
     const handle = mockHandle();
     const state: DirtyState = { dirty: false };
 
-    const dut = createDut<{ readonly sum: number }>(
+    const dut = createDut<{ readonly sum: bigint }>(
       buffer, layout, ports, handle, state,
     );
 
@@ -200,7 +200,7 @@ describe("createDut — dirty tracking", () => {
     const handle = mockHandle();
     const state: DirtyState = { dirty: true };
 
-    const dut = createDut<{ a: number }>(buffer, layout, ports, handle, state);
+    const dut = createDut<{ a: bigint }>(buffer, layout, ports, handle, state);
 
     void dut.a;
     expect(handle.evalComb).not.toHaveBeenCalled();
@@ -217,10 +217,10 @@ describe("createDut — dirty tracking", () => {
     const handle = mockHandle();
     const state: DirtyState = { dirty: false };
 
-    const dut = createDut<{ sum: number }>(buffer, layout, ports, handle, state);
+    const dut = createDut<{ sum: bigint }>(buffer, layout, ports, handle, state);
 
     expect(() => {
-      dut.sum = 42;
+      dut.sum = 42n;
     }).toThrow("Cannot write to output port 'sum'");
   });
 });
@@ -243,7 +243,7 @@ describe("createDut — clock ports", () => {
     const handle = mockHandle();
     const state: DirtyState = { dirty: false };
 
-    const dut = createDut<{ a: number }>(buffer, layout, ports, handle, state);
+    const dut = createDut<{ a: bigint }>(buffer, layout, ports, handle, state);
 
     expect(Object.keys(dut as object)).toEqual(["a"]);
     expect((dut as any).clk).toBeUndefined();
@@ -281,20 +281,20 @@ describe("createDut — multiple signals", () => {
 
     const state: DirtyState = { dirty: false };
     const dut = createDut<{
-      rst: number;
-      a: number;
-      b: number;
-      readonly sum: number;
+      rst: bigint;
+      a: bigint;
+      b: bigint;
+      readonly sum: bigint;
     }>(buffer, layout, ports, handle, state);
 
-    dut.a = 100;
-    dut.b = 200;
+    dut.a = 100n;
+    dut.b = 200n;
     // sum read triggers evalComb
-    expect(dut.sum).toBe(300);
+    expect(dut.sum).toBe(300n);
     expect(handle.evalComb).toHaveBeenCalledTimes(1);
 
     // second read without changes → no evalComb
-    expect(dut.sum).toBe(300);
+    expect(dut.sum).toBe(300n);
     expect(handle.evalComb).toHaveBeenCalledTimes(1);
   });
 });
@@ -316,13 +316,13 @@ describe("createDut — 4-state", () => {
     const handle = mockHandle();
     const state: DirtyState = { dirty: false };
 
-    const dut = createDut<{ a: number }>(buffer, layout, ports, handle, state);
+    const dut = createDut<{ a: bigint }>(buffer, layout, ports, handle, state);
 
     (dut as any).a = X;
     // Value should be 0, mask should be 0xFF
     const [value, mask] = readFourState(buffer, layout.a);
-    expect(value).toBe(0);
-    expect(mask).toBe(0xFF);
+    expect(value).toBe(0n);
+    expect(mask).toBe(0xFFn);
   });
 
   test("write FourState to a 4-state signal", () => {
@@ -336,12 +336,12 @@ describe("createDut — 4-state", () => {
     const handle = mockHandle();
     const state: DirtyState = { dirty: false };
 
-    const dut = createDut<{ a: number }>(buffer, layout, ports, handle, state);
+    const dut = createDut<{ a: bigint }>(buffer, layout, ports, handle, state);
 
     (dut as any).a = FourState(0b1010, 0b0100);
     const [value, mask] = readFourState(buffer, layout.a);
-    expect(value).toBe(0b1010);
-    expect(mask).toBe(0b0100);
+    expect(value).toBe(0b1010n);
+    expect(mask).toBe(0b0100n);
   });
 
   test("writing X to non-4-state signal throws", () => {
@@ -355,7 +355,7 @@ describe("createDut — 4-state", () => {
     const handle = mockHandle();
     const state: DirtyState = { dirty: false };
 
-    const dut = createDut<{ a: number }>(buffer, layout, ports, handle, state);
+    const dut = createDut<{ a: bigint }>(buffer, layout, ports, handle, state);
 
     expect(() => {
       (dut as any).a = X;
@@ -373,7 +373,7 @@ describe("createDut — 4-state", () => {
     const handle = mockHandle();
     const state: DirtyState = { dirty: false };
 
-    const dut = createDut<{ a: number }>(buffer, layout, ports, handle, state);
+    const dut = createDut<{ a: bigint }>(buffer, layout, ports, handle, state);
 
     expect(() => {
       (dut as any).a = FourState(0xA5, 0x0F);
@@ -391,18 +391,18 @@ describe("createDut — 4-state", () => {
     const handle = mockHandle();
     const state: DirtyState = { dirty: false };
 
-    const dut = createDut<{ a: number }>(buffer, layout, ports, handle, state);
+    const dut = createDut<{ a: bigint }>(buffer, layout, ports, handle, state);
 
     // First write X
     (dut as any).a = X;
     const [, maskBefore] = readFourState(buffer, layout.a);
-    expect(maskBefore).toBe(0xFF);
+    expect(maskBefore).toBe(0xFFn);
 
     // Then write a defined value — mask should clear
-    dut.a = 42;
+    dut.a = 42n;
     const [value, maskAfter] = readFourState(buffer, layout.a);
-    expect(value).toBe(42);
-    expect(maskAfter).toBe(0);
+    expect(value).toBe(42n);
+    expect(maskAfter).toBe(0n);
   });
 
   test("reading 4-state output returns value part only", () => {
@@ -417,14 +417,14 @@ describe("createDut — 4-state", () => {
     const handle = mockHandle();
     const state: DirtyState = { dirty: false };
 
-    const dut = createDut<{ readonly y: number }>(buffer, layout, ports, handle, state);
+    const dut = createDut<{ readonly y: bigint }>(buffer, layout, ports, handle, state);
 
     // Set value=0xAB, mask=0x0F (lower 4 bits are X)
     view.setUint8(0, 0xAB);
     view.setUint8(1, 0x0F);
 
     // DUT getter returns the value part
-    expect(dut.y).toBe(0xAB);
+    expect(dut.y).toBe(0xABn);
   });
 
   test("write X sets dirty flag", () => {
@@ -438,7 +438,7 @@ describe("createDut — 4-state", () => {
     const handle = mockHandle();
     const state: DirtyState = { dirty: false };
 
-    const dut = createDut<{ a: number }>(buffer, layout, ports, handle, state);
+    const dut = createDut<{ a: bigint }>(buffer, layout, ports, handle, state);
 
     (dut as any).a = X;
     expect(state.dirty).toBe(true);
@@ -462,20 +462,20 @@ describe("createDut — array ports", () => {
     const handle = mockHandle();
     const state: DirtyState = { dirty: false };
 
-    const dut = createDut<{ data: number[] }>(
+    const dut = createDut<{ data: { at(i: number): bigint; set(i: number, v: bigint): void; length: number } }>(
       buffer, layout, ports, handle, state,
     );
 
-    (dut.data as any)[0] = 0xAA;
-    (dut.data as any)[1] = 0xBB;
-    (dut.data as any)[2] = 0xCC;
-    (dut.data as any)[3] = 0xDD;
+    dut.data.set(0, 0xAAn);
+    dut.data.set(1, 0xBBn);
+    dut.data.set(2, 0xCCn);
+    dut.data.set(3, 0xDDn);
 
-    expect((dut.data as any)[0]).toBe(0xAA);
-    expect((dut.data as any)[1]).toBe(0xBB);
-    expect((dut.data as any)[2]).toBe(0xCC);
-    expect((dut.data as any)[3]).toBe(0xDD);
-    expect((dut.data as any).length).toBe(4);
+    expect(dut.data.at(0)).toBe(0xAAn);
+    expect(dut.data.at(1)).toBe(0xBBn);
+    expect(dut.data.at(2)).toBe(0xCCn);
+    expect(dut.data.at(3)).toBe(0xDDn);
+    expect(dut.data.length).toBe(4);
   });
 });
 
@@ -515,20 +515,20 @@ describe("createDut — interface ports", () => {
     const state: DirtyState = { dirty: false };
     const dut = createDut<{
       bus: {
-        addr: number;
-        data: number;
-        valid: number;
-        readonly ready: number;
+        addr: bigint;
+        data: bigint;
+        valid: bigint;
+        readonly ready: bigint;
       };
     }>(buffer, layout, ports, handle, state);
 
-    dut.bus.addr = 0x1000;
-    dut.bus.data = 0xFF;
-    dut.bus.valid = 1;
+    dut.bus.addr = 0x1000n;
+    dut.bus.data = 0xFFn;
+    dut.bus.valid = 1n;
 
-    expect(dut.bus.addr).toBe(0x1000);
-    expect(dut.bus.data).toBe(0xFF);
-    expect(dut.bus.ready).toBe(1);
+    expect(dut.bus.addr).toBe(0x1000n);
+    expect(dut.bus.data).toBe(0xFFn);
+    expect(dut.bus.ready).toBe(1n);
     expect(handle.evalComb).toHaveBeenCalledTimes(1);
   });
 });