On the Temporal Equivalence of Sequential Circuits.

Narendra V. Shenoy Kanwar Jit Singh Robert K. Brayton Alberto L. Sangiovanni-Vincentelli

Published in: DAC (1992)

Keyphrases

spatio temporal
spatial and temporal
temporal data
temporal information
high speed
temporal reasoning
temporal constraints
temporal databases
temporal relations
temporal evolution
temporal patterns
temporal analysis
temporal ordering
knowledge base
temporal characteristics
temporal aspects
data structure