Auxiliary State Machines and Auxiliary Functions: Constructs for Extending AMS Assertions.

Subhankar Mukherjee Pallab Dasgupta

Published in: VLSI Design (2011)

Keyphrases

state machines
state machine
artificial intelligence
knowledge base
petri net
neural network
recurrent networks