A pointcut-based assertion for high-level hardware design.

Tue, 01 Jan 2008 00:00:00 +0100

Yusuke Endoh, Takeo Imai, Mikito Iwamasa, Yoshio Kataoka:
A pointcut-based assertion for high-level hardware design. ACP4IS@AOSD 2008: 4:1-4:6