[{"text":"\n\nA. Bainbridge-Smith and S.-H. Park. ADH: An aspect described hardware programming language. Field-Programmable Technology, 2005. Proceedings. 2005 IEEE International Conference on, pages 283--284, dec. 2005.\n\n"},{"text":"\n\n\nDavid Déharbe , Sergio Medeiros, Aspect-oriented design in systemC: implementation and applications, Proceedings of the 19th annual symposium on Integrated circuits and systems design, August 28-September 01, 2006, Ouro Preto, MG, Brazil   [doi>10.1145/1150343.1150378]\n\n","citation":"1150378","doi":"http://doi.acm.org/10.1145/1150343.1150378"},{"text":"\n\n\nE. B. Eichelberger , T. W. Williams, A logic design structure for LSI testability, Papers on Twenty-five years of electronic design automation, p.358-364, June 1988   [doi>10.1145/62882.62924]\n\n","citation":"62924","doi":"http://doi.acm.org/10.1145/62882.62924"},{"text":"\n\n\nYusuke Endoh , Takeo Imai , Mikito Iwamasa , Yoshio Kataoka, A pointcut-based assertion for high-level hardware design, Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software, p.1-6, March 31-April 08, 2008, Brussels, Belgium   [doi>10.1145/1404891.1404895]\n\n","citation":"1404895","doi":"http://doi.acm.org/10.1145/1404891.1404895"},{"text":"\n\n\nMichael Engel , Olaf Spinczyk, Aspects in hardware: what do they look like?, Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software, p.1-6, March 31-April 08, 2008, Brussels, Belgium   [doi>10.1145/1404891.1404896]\n\n","citation":"1404896","doi":"http://doi.acm.org/10.1145/1404891.1404896"},{"text":"\n\nD. D. Gajski, J. Zhu, R. Dömer, A. Gerstlauer, and S. Zhao. SpecC: Specification Language and Methodology. 2000.\n\n"},{"text":"\n\nIEEE. Std 1076-2000: IEEE Standard VHDL Language Reference Manual, 2000.\n\n"},{"text":"\n\nIEEE. IEEE 1850 Standard for Property Specification Language (PSL), 2005.\n\n"},{"text":"\n\nIEEE. IEEE Standard for SystemVerilog-Unified Hardware Design, Specification, and Verification Language, 2005.\n\n"},{"text":"\n\nGnu indent. http://www.gnu.org/software/indent/.\n\n"},{"text":"\n\nA. Kasuya. Verification applications of aspect-oriented-programming. In Proceedings of the Design and Verification Conference and Exhibition (DVCon), 2004.\n\n"},{"text":"\n\n\nAtsushi Kasuya , Tesh Tesfaye, Verification methodologies in a TLM-to-RTL design flow, Proceedings of the 44th annual Design Automation Conference, June 04-08, 2007, San Diego, California   [doi>10.1145/1278480.1278529]\n\n","citation":"1278529","doi":"http://doi.acm.org/10.1145/1278480.1278529"},{"text":"\n\n\nGregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001 \n\n","citation":"680006"},{"text":"\n\nP. Kocher, J. Jaffe, and B. Jun. Introduction to differential power analysis and related attacks.\n\n"},{"text":"\n\nH. Masuhara and K. Kawauchi. Dataflow pointcut in aspect-oriented programming. In APLAS'03 - the First Asian Symposium on Programming Languages and Systems, pages 105--121, 2003.\n\n"},{"text":"\n\nM. Miyama, A. Kitagawa, J. Akita, and M. Suzuki. HDL ni yoru VLSI sekkei (in Japanese). Kyoritsu Shuppan, 2002.\n\n"},{"text":"\n\nOpen SystemC Initiative. SystemC 2.0 Language Reference Manual. OSCI, 2003.\n\n"},{"text":"\n\n\nOlaf Spinczyk , Andreas Gal , Wolfgang Schröder-Preikschat, AspectC++: an aspect-oriented extension to the C++ programming language, Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications, February 01, 2002, Sydney, Australia \n\n","citation":"564100"},{"text":"\n\n\nAkira Teruya , Eiichiro Iwata , Masahito Sugai , Masahiro Kimura , Nurul Azma Zakaria , Noriko Matsumoto , Norihiko Yoshida, Embedded system design based on aspect-oriented executable UML, Proceedings of the 8th conference on Applied computer scince, p.247-252, November 21-23, 2008, Venice, Italy \n\n","citation":"1504080"},{"text":"\n\n\nDonald E. Thomas , Philip R. Moorby, The Verilog hardware description language (4th ed.), Kluwer Academic Publishers, Norwell, MA, 1998 \n\n","citation":"292587"}]