Willamette HDL's AccurateC language-rule checker for C/C++-based electronic design fits into a SystemC-based design flow. It performs a series of checks that adhere to established language-rule sets ...