Cupertino, Calif.--August 3, 1998--Time-Rover Co. (Cupertino) introduces Temporal-Rover, a specification-based verification tool. In this new release, C++ code generation supports verification of reactive C++ applications.
The Temporal-Rover uses a specification language, a combination of Temporal-Logic and a language of choice, such as C, Verilog, Java, and C++. The formal specification is written, as a set of comments, in the source program file. The code generator filters the file prior to compilation, and generates source code that implements the specification. Automatic code generators for C, C++, Java, and Verilog HDL concert the formal specification into true executable code. When executed, the filtered file compares the actual program's behavior with the formal specification.
One of the major benefits of the Temporal-Rover is for regression testing of reactive systems. Unlike common testing methods, which compare the current execution with some "golden" execution, the formal specification method captures the precise requirements. A golden execution is but a private instance of the specification, but many other legal executions exist. Comparing the golden execution to other legal executions will indicate an error. With a formal specification approach, all possible golden executions of the program are captured.
The Temporal-Rover incorporates an algorithm that controls the size of the generated code, maintaining a small execution tree that is proportional to the size of the Temporal-Logic formula in the assertion. Therefore, simulation and testing time is not expected to be penalized much by the generated code. Release code will not be affected at all because it will not use the generated code, even though the specification may still reside, as comments, in the release code.
The Temporal-Rover is a Java-based specification and verification tool with Verilog, C, C++, and Java code generators. The software Package, with C, C++, and Java support, is priced at $2,995 on PC and $4,995 on other platforms. The EDA Package, with Verilog, C, C++, and Java support, is priced at $4,995 on PC and $6,995 for other platforms.
Fax: (408) 777-8615
Return to Headlines