A flip-flop matching engine to verify sequential optimizations

Bibliographic Details
Main Authors: Rahim, Solaiman (Author), Rouzeyre, Bruno (Author), Torres, Lionel (Author)
Format: Article
Language:English
PhysicalDescription:Sch., tab.
ISSN:1335-9150
Subjects:
Description
Item Description:Biogr. údaje
Physical Description:Sch., tab.
ISSN:1335-9150
Bibliography:Bibliogr. odkazy