Some embodiments of the invention provide a method for pre-tabulating
sub-networks. This method (1) generates a sub-network that performs a
function, (2) generates a parameter based on this function, and (3) stores
the sub-network in a storage structure based on the generated parameter.
In some embodiments, the generated sub-network has several circuit
elements. Also, in some embodiments, the generated sub-network performs a
set of two or more functions. Some embodiments store each generated
sub-network in an encoded manner. Some embodiments provide a method for
producing a circuit description of a design. This method (1) selects a
candidate sub-network from the design, (2) identifies an output function
performed by the sub-network, (3) based on the identified output function,
identifies a replacement sub-network from a storage structure that stores
replacement sub-networks, and (4) replaces the selected candidate
sub-network with the identified replacement sub-network in certain
conditions. In some embodiments, this method is performed to map a design
to a particular technology library. Some embodiments provide a data
storage structure that stores a plurality of sub-networks based on
parameters derived from the output functions of the sub-networks.
Sommige belichamingen van de uitvinding verstrekken een methode voor pre-tabelleert sub-networks. Deze methode (1) produceert sub-network die een functie uitoefent, (2) produceert een parameter die op deze functie wordt gebaseerd, en (3) slaat sub-network in een opslagstructuur die op de geproduceerde parameter wordt gebaseerd op. In sommige belichamingen, geproduceerde heeft sub-network verscheidene kringselementen. Ook, in sommige belichamingen, geproduceerde oefent sub-network een reeks van twee of meer functies uit. Sommige belichamingen slaan elke geproduceerde sub-network op een gecodeerde manier op. Sommige belichamingen verstrekken een methode om een kringsbeschrijving van een ontwerp te veroorzaken. Deze methode (1) selecteert kandidaatsub-network van het ontwerp, identificeert (2) een outputfunctie die door sub-network wordt uitgeoefend, (3) gebaseerd op de geïdentificeerde outputfunctie, identificeert vervangingssub-network van een opslagstructuur dat sub-networks van de opslagvervanging, en (4) geselecteerde kandidaatsub-network met geïdentificeerde vervangingssub-network in bepaalde voorwaarden vervangen. In sommige belichamingen, wordt deze methode uitgevoerd om een ontwerp aan een bepaalde technologiebibliotheek in kaart te brengen. Sommige belichamingen verstrekken een structuur van de gegevensopslag die een meerderheid van sub-networks opslaat die op parameters wordt gebaseerd die uit de outputfuncties worden afgeleid van sub-networks.