Tags :Vera 2007

the design technology leader for complex IC design, announced the immediate availability of VERA(TM) CORE, a new high-level verification tool that enables intellectual property (IP) providers and their customers to share an IP verification environment. With VERA CORE, IP providers develop portable VERA testbenches, monitors and functional coverage reports for creating high quality IP. Their customers can easily reuse these elements to cut verification time of their system-on-a-chip(SoC) design embedding 1. (mathematics) embedding – One instance of some mathematical object contained with in another instance, e.g. a group which is a subgroup.2. (theory) embedding – (domain theory) A complete partial order F in [X -> Y] is an embedding if  the IP. \”VERA was instrumental in our ability to bring...

the design technology leader for complex IC design, announced the immediate availability of VERA(TM) CORE, a new high-level verification tool that enables intellectual property (IP) providers and their customers to share an IP verification environment. With VERA CORE, IP providers develop portable VERA testbenches, monitors and functional coverage reports for creating high quality IP. Their customers can easily reuse these elements to cut verification time of their system-on-a-chip(SoC) design embedding 1. (mathematics) embedding – One instance of some mathematical object contained with in another instance, e.g. a group which is a subgroup.2. (theory) embedding – (domain theory) A complete partial order F in [X -> Y] is an embedding if  the IP. \”VERA was instrumental in our ability to bring...

Current ActivitiesAs an extension of the worldwide VERA R&D team, the Synopsys India VERA group is responsible for the development of standalone VERA tools and enhancements to the VERA language. It is also involved in various VERA integration projects including those with third party tools. The team\’s mission is centered on making ongoing key R&D contributions to the VERA product. Job ResponsibilitiesThe VERA R&D team works on technologies and products in the area of functional verification. Specific projects include design and development in: compilers, data structures, algorithms in support of the VERA runtime library, interfaces between VERA and 3rd party simulation tools, and GUIs. Job RequirementsAn ideal candidate desirous of working in this area should have experience in developing and...