作者: Eric T. Matson , Garrison W. Greenwood , John C. Gallagher
DOI: 10.1109/ICES.2013.6613283
关键词:
摘要: Evolvable and Adaptive Hardware (EAH) Systems have been a subject of study for about two decades. This paper argues that viewing EAH devices in isolation from the larger systems which they serve as components is somewhat dangerous can subvert design hierarchies upon designers base verification validation efforts. The proposes augmenting with additional machinery to enable application model-checking related Cyber-Physical techniques extract evolving intra-module relationships formal purposes.