Gropius - Advanced Reuse Concepts in a New Hardware Description Language Export

@inproceedings{citeulike:1222363, abstract = {In this paper we present a new hardware description language named Gropius. Gropius ranges from the gate level to the system level and supports abstraction and design reuse in a systematic manner. Gropius was designed for a formal synthesis scenario, where synthesis is performed by applying mathematical derivation steps, thus guaranteeing correctness of the synthesis process. Since Gropius was defined in a mathematical manner, its semantics is precise and unambiguous.}, author = {Eisenbiegler, Dirk and Blumenr\"{o}hr, Christian}, citeulike-article-id = {1222363}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.5452}, keywords = {formal\_language\_theory, formal\_synthesis, hdl, high\_level\_synthesis}, posted-at = {2007-04-12 15:43:10}, priority = {2}, title = {Gropius - Advanced Reuse Concepts in a New Hardware Description Language}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.5452} }

TY - CONF ID - citeulike:1222363 L3 - citeulike-article-id:1222363 N2 - In this paper we present a new hardware description language named Gropius. Gropius ranges from the gate level to the system level and supports abstraction and design reuse in a systematic manner. Gropius was designed for a formal synthesis scenario, where synthesis is performed by applying mathematical derivation steps, thus guaranteeing correctness of the synthesis process. Since Gropius was defined in a mathematical manner, its semantics is precise and unambiguous. TI - Gropius - Advanced Reuse Concepts in a New Hardware Description Language KW - formal_language_theory KW - formal_synthesis KW - hdl KW - high_level_synthesis AU - Eisenbiegler, Dirk AU - Blumenröhr, Christian UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.5452 ER -