Delay correlation analysis and representation for vital compliant VHDL models
AssigneeInternational Business Machines Corporation
InventorsMarvin J. Rich, Ashutosh Misra
Life of this patent
Estimating the term…
Abstract
A method and system unbind a rise/fall tuple of a VHDL generic variable and create rise time and fall time generics of each generic variable that are independent of each other. Then, according to a predetermined correlation policy, the method and system collect delay values in a VHDL standard delay file, sort the delay values, remove duplicate delay values, group the delay values into correlation sets, and output an analysis file. The correlation policy may include collecting all generic variables in a VHDL standard delay file, selecting each generic variable, and performing reductions on the set of delay values associated with each selected generic variable.
Claims43
A method comprising:
- copying a rise time delay value and a fall time delay value from a tuple of a VHDL generic variable;
- and
- storing a rise time generic variable and a fall time generic variable, the rise time generic variable comprising at least one rise time delay value and the fall time generic variable comprising at least one fall time delay value.
An apparatus, comprising:
- a controller/processor;
- a data memory, communicatively coupled to the controller/processor, for storing a VHDL standard delay file;
- and
- an SDF analyzer, communicatively coupled to the controller/processor and the data memory, for collecting delay values from the VHDL standard delay file by copying from each VHDL generic variable in the VHDL standard delay file a rise time delay value and a fall time delay value from a tuple of the VHDL generic variable, and for storing in the data memory a rise time generic variable and a fall time generic variable, the rise time generic variable comprising at least one rise time delay value and the fall time generic variable comprising at least one fall time delay value.
A system, comprising:
- a memory for storing a VHDL standard delay file;
- and
- an SDF analyzer, communicatively coupled to the memory, for copying from each VHDL generic variable in the VHDL standard delay file a rise time delay value and a fall time delay value from a tuple of the VHDL generic variable, and for storing in the memory a rise time generic variable and a fall time generic variable, the rise time generic variable comprising at least one rise time delay value and the fall time generic variable comprising at least one fall time delay value, the at least one rise time delay value including the rise time delay value copied from the tuple of the VHDL generic variable in the VHDL standard delay file, and the at least one fall time delay value including the fall time delay value copied from the tuple of the VHDL generic variable in the VHDL standard delay file.
A computer readable medium comprising instructions for:
- copying a rise time delay value and a fall time delay value from a tuple of a VHDL generic variable;
- and
- storing a rise time generic variable and a fall time generic variable, the rise time generic variable comprising at least one rise time delay value and the fall time generic variable comprising at least one fall time delay value.
Dependencies are inferred from the claim text.