Skip to main content

Search Constraints

Start Over
You searched for: Creator Gopalakrishnan, Ganesh Remove constraint Creator: Gopalakrishnan, Ganesh Creator Jain, Prabhat Remove constraint Creator: Jain, Prabhat Contributing Institution University of Utah Remove constraint Contributing Institution: University of Utah
Start Over |
1 - 4 of 4
Number of results to display per page
View results as:
List Gallery

Search Results

text
Efficient symbolic simulation based verification using the parametric form of boolean expressions (rev.)
1. Efficient symbolic simulation based verification using the parametric form of boolean expressions (rev.)

Gopalakrishnan, Ganesh Jain, Prabhat

Keywords:

    Symbolic Simulation; Verification
View @ University of Utah
text
Towards a verification technique for large synchronous circuits
2. Towards a verification technique for large synchronous circuits

Gopalakrishnan, Ganesh Jain, Prabhat Kudva, Prabhakar

Keywords:

    Symbolic Simulation; Synchronous Circuits; Verification
View @ University of Utah
text
Towards a verification technique for large synchronous circuits
3. Towards a verification technique for large synchronous circuits

Gopalakrishnan, Ganesh Jain, Prabhat Kudva, Prabhakar

Keywords:

    Symbolic Simulation; Synchronous Circuits; Verification
View @ University of Utah
text
Verification of regular arrays by symbolic simulation
4. Verification of regular arrays by symbolic simulation

Gopalakrishnan, Ganesh Jain, Prabhat Kudva, Prabhakar

Keywords:

    Regular Arrays; Symbolic Simulation; Verification
View @ University of Utah
Download JSON