Login / Signup

BISCC: A Novel Approach to Built In State Consistency Checking For Quick Volume Validation of Mixed-Signal/RF Systems.

Sabyasachi DeyatiBarry John MuldreyAbhijit Chatterjee
Published in: J. Electron. Test. (2023)
Keyphrases
  • consistency checking
  • query answering
  • temporal reasoning
  • state space
  • image sequences
  • relational databases
  • computer systems
  • parallel processing
  • finite state machines