fault

fault copied to clipboard

Add analog type to magma for fault mixed signal types

2

Related discussion https://github.com/leonardt/fault/pull/231

leonardt

fault tests failing

2

``` test_simple_alu.py .......F [100%] =================================== FAILURES =================================== _________________ test_simple_alu_assume_guarantee[cosa-None] __________________ target = 'cosa', strategy = None @pytest.mark.parametrize("target,strategy", [("verilator", "rejection"), ("verilator", "smt"), ("cosa", None)]) def test_simple_alu_assume_guarantee(target, strategy): tester = fault.SymbolicTester(SimpleALU, SimpleALU.CLK,...

phanrahan

Fault silently allows poking non-existing ports

2

I would expect the following code to raise an error or warning trying to poke a bad port. When you try to peek a bad port, it does error. ```...

rdaly525

How To Call Expect For Long Runs

3

I'm trying to simulate a 2D convolution for 1920x1080 and 640x480 images. This requires 2073600 example inputs and outputs for the 1920x1080 image and 307200 inputs and outputs for the...

David-Durst

Unified time management in SystemVerilog / Verilator / SPICE / Verilog-AMS targets

1

The meaning of time flow between different kinds of simulation targets has diverged, and even within a given target there are some inconsistencies (e.g., some delays are in seconds, some...

sgherbst

These options are available for the SPICE target but not the VerilogAMS target. Adding these features would entail updates to **gen_amscf**, most likely in the lines of code that produce...

sgherbst

Unable to parse DPI calls

3

Error: ``` def _parse_error(self, msg, coord): > raise ParseError("%s: %s" % (coord, msg)) E pyverilog.vparser.plyparser.ParseError: :1: before: import ``` SV: ``` import "DPI-C" function void breakpoint_trace(input int instance_id, input int...

Kuree

Creating a tester fails when the circuit is defined using circuit.sequential: The following code snippet fails complaining about a bad type for CLK ``` import magma as m from fault...

rdaly525

Fault Fails If Top Module Name Too Long

3

https://github.com/David-Durst/aetherling/blob/185c5cf0ef85845b29ebf5f30912520c0c267a49/tests/test_space_time/test_reduce.py#L28-L46 passes. However, it fails if you remove the call to `wrap_module_with_top`, which just wraps the module with one whose name is "top" The failure message is that it can't...

David-Durst

List Index Out Of Range Error Message Not Helpful

2

The file https://github.com/David-Durst/aetherling/blob/f765d8f6aabc5790dcc981dca3a43e58aaa9f871/aetherling/examples/ae_circuit28334-312.py produces the following error message: ``` File "/home/david/dev/magma/magma/array.py", line 247, in value return ts[0].name.array IndexError: list index out of range ``` I think I'm wiring up the...

David-Durst