Publisher
Open Publishing Association
Reference7 articles.
1. Experience with Embedding Hardware Description Languages;Boulton,1992
2. Put Me on the RAC;Hardin,2020
3. Use of Formal Verification at Centaur Technology;Hunt,2010
4. Modeling Algorithms in SystemC and ACL2;O'Leary,2014