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:	Slovak English
Subjects:	digitálne obvody prispôsobovacie algoritmy sekvenčná optimalizácia kontrola

A flip-flop matching engine to verify sequential optimizations by Rahim, Solaiman, Rouzeyre, Bruno, Torres, Lionel

Source of article: Computing and informatics. - Vol. 23, no. 5-6 (2004), p. 437-460

ISSN: 1335-9150

Physical Description: : Sch., tab.

Article