Synthesis of Finite State Machines: Functional Optimization

by: Timothy Kam · Tiziano Villa · Robert K. Brayton · Alberto L. Sangiovanni-Vincentelli

Hardcover

details (USA).

ISBN: 978-0-7923-9842-4

ISBN-10: 0-7923-9842-4

Springer · 1996