Sciweavers

CASES
2006
ACM

Extensible control architectures

14 years 4 months ago
Extensible control architectures
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true for sequential controllers, where machine complexity can quickly surpass designer ability. Traditional solutions to this problem require elaborate specifications that are difficult to maintain and extend. Further, the logic generated from these specifications bares no resemblance to the intended behavior and often fails to meet design performance constraints. In the process of designing a multi-threaded, dynamically-pipelined microcontroller, we encountered a number of common difficulties that arise from the inadequacies of traditional pipeline design methodologies. Through the use of a novel nondeterministic finite automata (NFA) specification model, we were able to implement an extensible control structure with minimal design effort. In this paper we present a viable pipeline controller specification...
Greg Hoover, Forrest Brewer, Timothy Sherwood
Added 13 Jun 2010
Updated 13 Jun 2010
Type Conference
Year 2006
Where CASES
Authors Greg Hoover, Forrest Brewer, Timothy Sherwood
Comments (0)