Jack Melchert

DRC error in sky130_fd_sc_hd__buf_16 cell

5

## Expected Behavior No DRC error in buf_16 cell. ## Actual Behavior Magic reports a DRC error for sky130_fd_sc_hd__buf_16.gds. DRC error is licon.8a: poly overlap of poly contact < 0.08um...

For example, if i00.in0 is 16 bits, and I change this: ["self.in.0","i00.in0"] to this: ["self.in.0","i00.in0.0:16"] The add_dummy_inputs pass will wire a constant to every bit of i00.in0. Failing input file:...

Why is IEEE compliance for CW floating point add/mul set to 0?

2

https://github.com/rdaly525/coreir/blob/367774c87737ad4e09e4cf62c5c7ac6b28825b69/src/libs/float_CW.cpp#L137 https://github.com/rdaly525/coreir/blob/367774c87737ad4e09e4cf62c5c7ac6b28825b69/src/libs/float_CW.cpp#L157 This causes errors when simulating lassen with CW floats: https://github.com/StanfordAHA/lassen/issues/178 Setting ieee_compliance to true fixes this issue. Is there any reason why it was set to false in...

Tuple argument in __call__ causes fault error

4

I've added a test case to test_magma.py on fault_tuple_bug that uses a call function like this: ``` Bit = family.Bit input_t = Tuple[Bit, Bit] @family.assemble(locals(), globals()) class PE_Enum(Peak): def __call__(self,...

Support of list of instances in PE __init__

6

In the \_\_init\_\_ function of a Peak class, only statements like this are allowed: ``` self.x: m.Bits(2) = m.bits(0, 2) ``` It would be useful if something like this: ```...

Multiple loop unrolling passes?

13

I was wondering if its possible to support multiple passes of loop unrolling. This is the type of nested loop I want to unroll: ``` def test_nested_unroll(): z = 3...