VERIFICATION APPARATUS AND VERIFICATION METHOD
First Claim
1. A verification apparatus, which verifies, at respective times on a discrete time series, a circuit description that describes a communication between circuit components, in which a signal value changes on a continuous time series, by a design description language that can describe using function calls, the apparatus comprising:
- an allocation device configured to allocate a variable to a statement that designates an event associated with a function call in an assertion described using a property description language;
a value assignment device configured to detect generation of the event at an arbitrary time on the continuous time series, and to assign a value corresponding to a meaning of the statement to the variable; and
a determination device configured to determine based on the value of the variable at each time on the discrete time series if a condition corresponding to the meaning of the statement is satisfied.
1 Assignment
0 Petitions
Accused Products
Abstract
A variable is allocated to a statement that designates an event associated with a function call in an assertion. Generation of the event at an arbitrary time on a continuous time series is detected, and a value corresponding to a meaning of the statement is assigned to the variable. Whether or not a condition corresponding to the meaning of the statement is satisfied is determined based on the value of the variable at each time on a discrete time series.
-
Citations
20 Claims
-
1. A verification apparatus, which verifies, at respective times on a discrete time series, a circuit description that describes a communication between circuit components, in which a signal value changes on a continuous time series, by a design description language that can describe using function calls, the apparatus comprising:
-
an allocation device configured to allocate a variable to a statement that designates an event associated with a function call in an assertion described using a property description language; a value assignment device configured to detect generation of the event at an arbitrary time on the continuous time series, and to assign a value corresponding to a meaning of the statement to the variable; and a determination device configured to determine based on the value of the variable at each time on the discrete time series if a condition corresponding to the meaning of the statement is satisfied. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9)
-
-
10. A verification method of verifying, at respective times on a discrete time series, a circuit description that describes a communication between circuit components, in which a signal value changes on a continuous time series, by a design description language that can describe using function calls, comprising:
-
allocating a variable to a statement that designates an event associated with a function call in an assertion described using a property description language; detecting generation of the event at an arbitrary time on the continuous time series; assigning a value corresponding to a meaning of the statement to the variable; and determining based on the value of the variable at each time on the discrete time series if a condition corresponding to the meaning of the statement is satisfied. - View Dependent Claims (11, 12, 13, 14, 15, 16, 17, 18, 19)
-
-
20. A computer readable storage medium storing instructions of a computer program for verifying, at respective times on a discrete time series, a circuit description that describes a communication between circuit components, in which a signal value changes on a continuous time series, by a design description language that can describe using function calls, which when executed by a computer results in performance of steps comprising:
-
allocating a variable to a statement that designates an event associated with a function call in an assertion described using a property description language; detecting generation of the event at an arbitrary time on the continuous time series, and assigning a value corresponding to a meaning of the statement to the variable; and determining based on the value of the variable at each time on the discrete time series if a condition corresponding to the meaning of the statement is satisfied.
-
Specification