hackt
hackt copied to clipboard
fangism
Hierarchical Asynchronous Circuit Kompiler Toolkit
The texinfo documentation for hacknet is already organized in sections, but the command-line -H option is alphabetically sorted across all options. Would be nice if this were also arranged in...
Currently hacknet -f output_format=verilog ... produces modules like: ``` module (_sReset, error, ...); wire __sReset; wire error; wire local; endmodule ``` when hacknet _does_ have port direction information from `-f...
This source wouldn't actually source any tokens, it would just keep the data rails neutral.
``` deftype _c1of2 R.f+ ~_R.t -> R.t+ Reset | R.f | R.t -> L.e- ~R.e & ~L.f -> _R.f+ ~R.e & ~L.t -> _R.t+ _R.f -> R.f- _R.t -> R.t-...
Without this, sequences of values have to be compiled into the testbench, which is a nuisance for workflows.
Object/traits/class_traits_types.cc: ``` static const count_ptr int_def_width_default(new pint_const(32)); ``` The 32 should probably be un-hardcoded, to support 64b ints by default. Note: this may affect object dump test cases.
file: ``` template defproc int_source(chan!(int) R) { chp { *[ {;i:N: R!(B[i]) } ] } } template typedef int_source int_source_constant; ``` haco compilation gives: ``` ERROR: failed to make process_type_reference...
``` template defproc x() { } template typedef x x2; x2 a; ``` ``` haccreate test.prso test.prso-c Error unroll-resolving parameter values. ERROR in expression 1 of param expr list: pint-val-ref...
``` export template defchan eMx1ofN
``` #FILE "x.hac" %{ pint TOOL_SIM = 1; pint TOOL_NETLIST = 2; %} #FILE "y.prs" %{ #FILE "z.prs" %{ #FILE "w.prs" %{ preal pn = 2.0; pint lsz = 10;...