Riccardo Forth

Publications during the time Riccardo Forth was with the Computer Engineering Group

• Riccardo Forth and Paul Molitor. Permutation independent comparison of pseudo boolean functions. In: Notes of the International Workshop on Logic Synthesis (IWLS), pp.123-130, Dana Point, CA, May 2000. The paper has also been presented at the ITG/GI/GMM-Workshop on ``Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen``, Frankfurt am Main, Germany, Feb/Mar 2000

• Riccardo Forth and Paul Molitor. An efficient heuristic for state encoding minimizing the BDD representations of the transition relations of finite state machines. In: Proceedings of the IEEE/ACM Asia and South Pacific Design Automation Conference ASP-DAC, pp.61-66, Yokohama, Japan, Jan 2000

Up