The present invention provides a method and system for representing the simulation results in a much more compact format than the current state of the art and speeds up significantly both the storing of the results and the processing of the database, especially speeding up the comparison of two databases. This is achieved by (1) providing the database with more information which is typically available in the simulator or could easily be made available directly from the design description, and by (2) using the dependency graph of the signals in the database to implement a much faster comparison of two databases.
The present invention provides a method and system for describing variable precision computations without needing explicit conversion functions in case operands have different formats or sizes of fields, having the capability to modify at run time the sizes of the fields of any variable precision data object, as well as having access to special condition signals associated to each object in which results are stored.