Author of the publication

Enhancing IP cores specifications using hierarchical composition and set theory.

, , , , , and . Des. Autom. Embed. Syst., 15 (3-4): 225-245 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Lessons learned about oral-auditory and visual-spatial communication in requirements engineering with deaf stakeholders., , , , , , , , , and 1 other author(s). SAC, page 1379-1386. ACM, (2020)Functional verification of an MPEG-4 decoder design using a random constrained movie generator., , and . SBCCI, page 360-364. ACM, (2007)A methodology aimed at better integration of functional verification and RTL design., , , and . Des. Autom. Embed. Syst., 10 (4): 285-298 (2005)A Random Constrained Movie Versus a Random Unconstrained Movie Applied to the Functional Verification of an MPEG-4 Decoder Design., , and . SIGMAP, page 271-278. INSTICC Press, (2008)Enhancing IP cores specifications using hierarchical composition and set theory., , , , , and . Des. Autom. Embed. Syst., 15 (3-4): 225-245 (2011)A SystemC-only design methodology and the CINE-IP multimedia platform., , , , , , and . Des. Autom. Embed. Syst., 10 (2-3): 181-202 (2005)Improving functional verification of embedded systems using hierarchical composition and set theory., , and . SAC, page 1632-1636. ACM, (2009)An automatic testbench generation tool for a SystemC functional verification methodology., , , and . SBCCI, page 66-70. ACM, (2004)Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches., , , , , , and . SMC, page 2093-2098. IEEE, (2008)