AAAAAA

   
Results: 1-2 |
Results: 2
VERIFYING A LOGIC-SYNTHESIS ALGORITHM AND IMPLEMENTATION - A CASE-STUDY IN SOFTWARE-VERIFICATION
Authors: AAGAARD M LEESER M
Citation: M. Aagaard et M. Leeser, VERIFYING A LOGIC-SYNTHESIS ALGORITHM AND IMPLEMENTATION - A CASE-STUDY IN SOFTWARE-VERIFICATION, IEEE transactions on software engineering, 21(10), 1995, pp. 822-833
PBS - PROVEN BOOLEAN SIMPLIFICATION
Authors: AAGAARD M LEESER M
Citation: M. Aagaard et M. Leeser, PBS - PROVEN BOOLEAN SIMPLIFICATION, IEEE transactions on computer-aided design of integrated circuits and systems, 13(4), 1994, pp. 459-470
Risultati: 1-2 |