@inbook{30d1a912c09e4a3798a5ca03699530b7,
title = "Controller Synthesis and Verification",
abstract = "This chapter focuses on synthesis and verification of control units. One of the key issues in synthesis is the ability to explore the design space. One step toward design space exploration is the results presented here in control architecture synthesis that enables exploration of a range of control architectures. Another step is the use of a compiled cell approach to the technology mapping problem in control unit logic synthesis. The verification of the synthesized control unit is also an important issue. A new approach is presented that, using a combination of propositional temporal logic verifier and sequential logic extraction, has made it possible to verify formally the layout of a control unit against the specification.",
author = "Kenny Ranerup and Lars Philipson and Jan Madsen and Ole Olesen and Geert Janssen",
year = "1993",
doi = "10.1007/978-1-4615-3242-2\_10",
language = "English",
series = "The Springer International Series in Engineering and Computer Science",
publisher = "Springer New York",
pages = "211--232",
booktitle = "Application-Driven Architecture Synthesis",
}