There are an infinite number of possible math functions. But in practice, there is a definite set of standard math functions that are considered reasonable to include as primitives in expressions and that are implemented as built-in math functions in Verilog-A. Besides the standard deterministic ...
test/ll_files/ - Example programs that are synthesized in unit tests Dependencies: LLVM and clang Z3 SMT solver Icarus Verilog (to run the unit tests of generated verilog) Build and Test Instructions Once the dependencies are installed do: cmake . make -j ./all-tests About...