T&VS extends CPU Verification Capability


Bristol, UK, 14th April 2015T&VS, a leader in software test and hardware verification solutions,today announced an extension of its CPU verification capability.

T&VS provides expertise to help companies ensure their hardware and software based products are reliable, safe and secure. At the heart of most products is a CPU core which will implement a variety of complex performance enhancements such as pipelines, multiple instruction issue, out-or-order execution, and branch prediction as well as the usual memory access acceleration such as caching.

These enhancements can break the functional correctness of the core and so require specialist verification techniques including constrained random instruction stream execution. Using this technique small assembler programs are generated for execution on the core. Verification expertise and tools are required to generate programs which verify the corner cases created by those complex performance enhancements.

T&VS has historically had expertise in CPU verification both advising and supporting a number of companies on their CPU verification strategies and execution. T&VS has now extended this capability with the development of a new Instruction Stream Generation tool (asureISG) and a new team of CPU verification engineers delivering CPU verification services.

Mike Bartley, CEO of T&VS, commented “I am very excited about this announcement. CPU cores are increasingly complex to verify and T&VS are now able to better support our clients by adding tools and execution resources to our existing CPU verification strategy services.”

The T&VS asureISG tool will initially support single CPU core verification but will soon be enhanced with multicore support. The semiconductor industry now uses multiple cores to add performance to SoCs and products and those cores often shares resources such as caches. Hence the need for multiple instruction streams that are generated by a tool that understands the potential bugs in the management of those shared resources.

Further information on T&VS’s products and services is available at www.testandverification.com.

About T&VS

T&VS (Test and Verification Solutions Ltd) provides expertise to help companies ensure their hardware and software based products are reliable, safe and secure..  Such organisations use T&VS to verify their hardware and software products, employ industry best practice and manage peaks in development and testing programmes.  T&VS’ embedded software testing services includes onsite/offshore testing support including assistance with safety certification and security testing.  T&VS’ hardware verification services include onsite/offshore verification support and training in advanced verification methodologies.  T&VS also offers Verification IPs, its own Verification (EDA) signoff tool and a CPU verification tool asureISG.

T&VS Company Contact
Dr. Mike Bartley – T&VS
+44 7796 307958
[email protected]m



2017-05-10T07:11:58+00:00 15th April, 2015|Press Releases, RISC-V|
The T&VS newsletters inform you about industry news, events and information from T&VS. No spam, we promise and it is always easy to unsubscribe.
We never share your information. Read our Privacy Statement
Interested in Formal Verification?
Then why not attend the TVS Formal
Verification Bootcamp training?
The 2-day Formal Verification Bootcamp is for design and verification engineers looking to enhance their knowledge of formal verification and to learn how to write effective assertions to find and fix bugs. The course is a mix of presentations and hands-on development exercises.
Bootcamp Enquiry Form
If you are interested in receiving additional information on the course then simply email Mike Bartley (TVS CEO and Course Leader) by entering your details below.
Interested in SystemC?
FREE SystemC UVM Library Now Available
The TVS SystemC UVM library closely mimics UVM but gives users a license free UVM-based verification environment.
Have your product requirements been successfully tested and implemented?
Find out how asureSIGN can help you implement a successful Requirements Driven Verification and Test Strategy by visiting asureSIGN or enter your details and we will be in touch.
Course Dates and Pricing
To receive additional information, including course dates and pricing, please contact our training team who will be happy to help.
Download Request
Please complete the following form then click 'submit' to access the download.
Presentation Request
Please complete the following form then click 'submit' to gain access to the presentations.
Please complete the following form and then click 'submit' to gain access to the download.
Did you get what you were looking?

Let the testing experts help. We will run a FREE QA assessment which will include our top 5 recommendations to help maximise your testing.