A computer readable medium is arranged to record a circuit description having a description of a function of the circuit module and an interface description provided by distinguishing sets of possible signal values each output terminal may take on plural time points at each pattern and adding an identifier to each of said sets for defining said set and representing said function of said hardware description with the set of said identifiers on a temporal order.

Un mezzo leggibile dall'elaboratore è organizzato per registrare una descrizione del circuito che ha una descrizione di una funzione del modulo di circuito e una descrizione dell'interfaccia fornita dalla distinzione degli insiemi dei valori che possibili del segnale ogni terminale di uscita può prendere sui punti plurali di tempo ad ogni modello e ad aggiungere un contrassegno a ciascuno degli insiemi detti per la definizione dell'insieme detto e rappresentare la funzione detta della descrizione detta dei fissaggi con l'insieme dei contrassegni detti su un ordine temporale.