Now showing items 75-76 of 76

    • Using the Connlib Package to Obtain Parsed Netlist Data 

      Maurer, Peter M. (2009-11-05)
      The connlib package can be used to obtain parsed netlist data from “.ckt” files. These files must be created using the Functional Hardware Description Language FHDL. This data can be used in any way you choose. The ISCAS85 ...
    • Why is Symmetry So Hard? 

      Maurer (2011-05-13)
      The problem of detecting virtually any type of symmetry is shown to be co-NP-complete. We start with totally symmetric functions, then extend the result to partially symmetric functions, then to more general cofactor ...