kdrag.contrib.nand2tetris.hack

Module Attributes

BV16	@struct class Nand2State: pc: BV16 rom: ArraySort(BV16, BV16) # Or in decoded form? ram: ArraySort(BV16, BV16) D: BV16 A: BV16

kdrag.contrib.nand2tetris.hack.BV16 = BitVec(16)

@struct class Nand2State:

pc: BV16 rom: ArraySort(BV16, BV16) # Or in decoded form? ram: ArraySort(BV16, BV16) D: BV16 A: BV16