• search hit 3 of 6
Back to Result List

Logic optimization and equivalence checking by implication analysis

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author:Wolfgang Kunz, Dominik Stoffel, P. Menon
Document Type:Article
Language:English
Year of first Publication:1997
Year of Completion:1997
Release Date:2017/03/24
Source:IEEE transaction on computer-aided design of integrated circuits and sysems. - 16 (1997), 3, S. 266 - 281
Organizational units:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science
Institution name at the time of publication:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik