hackt
hackt copied to clipboard
fangism
Hierarchical Asynchronous Circuit Kompiler Toolkit
Currently, only three vt transistor types, SVT, HVT, and LVT, are supported. Newer technologies have more than three types. Also, some foundries use different naming conventions from the standard SVT,...
https://github.com/fangism/hackt/blob/e77f05bd2382f40c9493b86b9b32ef9a009b3263/src/Object/inst/instance_alias.tcc#L777 has appeared in a stacktrace in a large design that stack-overflowed during the load of an elaborated .haco-c file (happened to be in cosim). Rewriting that function should greatly...
Undefined symbols: "_lt_dladdsearchdir", referenced from: HAC::chpsim::parse_command_options(int, char*_, HAC::chpsim_options&)in libhacktexec.a(chpsim.o) ld: symbol(s) not found collect2: ld returned 1 exit status make[2]: *_\* [hackt] Error 1 This was expected to have been...
In file included from ./util/sublist.hh:11:0, from :0: ./util/STL/list_fwd.hh:22:10: error: reference to ‘list’ is ambiguous typedef list type; ^ ./util/STL/list_fwd.hh:18:7: note: candidates are: template class std::list class list; ^ In file...
Would like to implement an exhaustive prover for stability/non-interference using prsim-based state exploration and coverage, and reachability analysis. The legacy tool that inspires this is "prlint." Without this, we rely...
During build on x86_64-linux using ``` Linux 3.2.0-23-generic #36-Ubuntu SMP gcc version 4.9.2 (Ubuntu 4.9.2-0ubuntu1~12.04) GNU ld (GNU Binutils for Ubuntu) 2.22 ``` I see linker errors like: ``` /bin/sh...
e.g. c1of2 forward, c1of2 backward, where acknowledge carries data, not just a single wire. Workaround for lack of this feature: channel adapters on the forward and reverse halves.
Currently, instances and parameter collections are internally limited to 4-dimensional arrays. There's no good reason for this anymore, when we have the data structures to support arbitrary N-dimensions. We can...
Consider the following Verilog (used for cosimulation) that takes a file name from a plusarg: ``` initial begin reg [128:0] prs_obj; if (!$value$plusargs("PRSIM_OBJ=%s", prs_obj)) begin prs_obj = "Missing required +PRSIM_OBJ=...
Could use documentation for spice\* helper scripts. Should they go into hacknet documentation, even though they only operate on generated output?