Extracting gate-level networks from simulation tables

Most library development effort is invested in coding and verifying custom or special function cells that cannot be easily represented by traditional gates such as AND, OR, and are naturally encoded as tables. The library reader described in this paper reads in existing simulation libraries and converts tables into efficient gate-level models for use by test-generation and other tools, thus automating the most engineering-intensive task of library development.