Browsing Department of Computer Science by Subject "Hyperlinear Structures"
Now showing items 1-1 of 1
HyperSim (2009-11-13)This software package implements the simulation algorithm described in the tech report “Using GF(2) matrices in Simulation and Logic Synthesis” found in this archive. (http://hdl.handle.net/2104/5263). This package is part ...