BibSLEIGH — Timing Verification by Formal Signal Interaction Modeling in a Multi-level Timing Simulator

Jacques Benkoski, Andrzej J. Strojwas
Timing Verification by Formal Signal Interaction Modeling in a Multi-level Timing Simulator
DAC, 1989.

DAC 1989

@inproceedings{DAC-1989-BenkoskiS,
	author        = "Jacques Benkoski and Andrzej J. Strojwas",
	booktitle     = "{Proceedings of the 26th Design Automation Conference}",
	doi           = "10.1145/74382.74500",
	pages         = "668--673",
	publisher     = "{ACM Press}",
	title         = "{Timing Verification by Formal Signal Interaction Modeling in a Multi-level Timing Simulator}",
	year          = 1989,
}

Jacques Benkoski, Andrzej J. StrojwasTiming Verification by Formal Signal Interaction Modeling in a Multi-level Timing SimulatorDAC, 1989.

Tags:

Jacques Benkoski, Andrzej J. Strojwas
Timing Verification by Formal Signal Interaction Modeling in a Multi-level Timing Simulator
DAC, 1989.