fault
fault copied to clipboard
leonardt
A Python package for testing hardware (part of the magma ecosystem)
See original PR: https://github.com/leonardt/fault/pull/307 Opening a new one using an internal branch for CI.
I need to do fault testing on 4 bit Full Adder Circuits. Thing is I have only ever used Verilog for making such circuits. Are there any resources to help...
When I try to use "pip install fault", I get this error, ERROR: Command errored out with exit status 1: command: 'E:\Anaconda\python.exe' -c 'import sys, setuptools, tokenize; sys.argv[0] = '"'"'C:\\Users\\arkap\\AppData\\Local\\Temp\\pip-install-04cqvv0m\\coreir\\setup.py'"'"';...
I'm in the process of rewriting tbg to support more complex configuration semantics. One challenging part is to dynamically select signals based on the signal values. It's typically done via...
When I did an exhaustive test on floating points, I noticed performance issue with fault generated testbench. The test vectors size is 0x500 * 0x500 = 0x190000 ~ 1 million...
(At the request of Steven, I am creating this issue to note a problem I am having.) I have a block that has several signed unpacked vectors: `module datapath (...
## Proposed semantics The fork process is designed to be similar to `Loop`: ```Python process_1 = tester.fork() process_2 = tester.fork() process_1.poke(circ.I0, 1) process_2.poke(circ.I1, 2) process_1.expect(circ.O0, 3) process_2.expect(circ.O1, 4) tester.join(process_1, process_2)...
Just noticed that when `get_value` is used in conjunction with `SInt` types, the values are treated as unsigned. An example is shown below, where the value `214` is returned instead...
Looks like setting ``dump_waveforms=True`` for the ``ncsim`` target does not dump data types like arrays and structs, which can make it challenging to debug some kinds of hand-written designs and...