A Aralex Aachen research explorer

April 08, 2021 report Open access

The AIGER And-Inverter Graph (AIG) Format Version 20071012

University Library Linz repository (Johannes Kepler Universitat Linz)

DOI: 10.35011/fmvtr.2007-1 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 37

veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing
2024 IEEE Transactions on Circuits and Systems I Regular Papers article Engineering Advanced Memory and Neural Computing

7

citations

1 result

References 0