Tag Archives: TVS-UK

Requirements Driven Test and Verification for ISO26262 in Automotive

Mike Bartley writing in Vehicle Electronics, the monthly magazine for automotive electronics engineers, outlines the need for Requirements Driven Test and Verification to ensure the electronic products that we develop for the automotive industry are compliant with the ISO26262 development standard.

Go to page 7 of the magazine here.

Mike Bartley of TVS recognised in the Maserati 100


Bristol, UK, 23 February 2015 –Mike Bartley, Founder and CEO of TVS, a leader in software test and hardware verification solutions, was today recognised in the Maserati 100.

The Maserati 100 recognises the entrepreneurs who generously give their time and resources to support young founders. Mike, who has grown TVS from a 1 person company to 130 people around the world over the past 6 years, is chair of the LEP’s High Tech Sector Group, in the West of England, Chair of the Bristol branch of the British Computer Society and gives his time to promoting the high-tech sector in the region.

Mike commented, “I have received a lot of support from organisations such as SETsquared. It is a natural step to start helping others starting out on the path I have trodden in the past 6 years.”

Mike is also keen to encourage young people into the high-tech sector. He runs Digimakers in partnership with a number of local organisations such as the University of Bristol and @Bristol, a series of young people’s coding / Raspberry Pi days in attempt to encourage young people to go into science and technology.

Mike added “I am particularly proud of Digimakers. It is very exciting to see 200 plus 8 to 18 year olds pack into @Bristol to attend workshops run by University of Bristol students and volunteers.”

Further information on TVS’s products and services is available at www.testandverification.com.

About TVS
TVS (Test and Verification Solutions Ltd) provides services and products to organisations developing complex products in the microelectronics and embedded systems industries.  Such organisations use TVS to verify their hardware and software products, employ industry best practice and manage peaks in development and testing programmes.  TVS’s embedded software testing services includes onsite/offshore testing support including assistance with safety certification and security testing.  TVS hardware verification services include onsite/offshore verification support and training in advanced verification methodologies.  TVS also offers Verification IPs and its own Verification (EDA) signoff tool.

TVS Company Contact
Dr. Mike Bartley – TVS
+44 7796 307958
[email protected]

About the Maserati 100 
The Maserati 100 recognises the entrepreneurs who generously give their time and resources to support young founders. Nominations have been open for one month, and The Maserati100 have now been announced at a special celebration in early 2015 to recognise their dedication and success. Details can be found here http://www.themaserati100.co.uk/

Slides and Recordings Available for DVClub Europe – 7th July 2014

The Assertion Based Verification DVClub Europe took place on Monday, 7th July 2014 and was very well received, with presentations from ARM, Freescale Semiconductor, Mentor Graphics and Synopsys.

If you would like to review the recordings of the presentations, they are now available on the TVS Website along with the slides.  They will be available to you without having to log in until the 18th July, after this date you will need to register on our website.

The next DVClub will be discussing Performance Verification and will be taking place on Monday, 8th September 2014, why not register your interest at and be one of the first to secure your place!

Do you have a story to tell and would like to share it at the next DVClub? We are always looking for good end user case studies to share with the community.  Contact  Mike Bartley for more information on how you can take part.

Unlock your ABV potential beyond simulators and model checkers – DVClub (7 July 2014)

Monday’s DVClub will cover Assertion Based Verification, why not register and secure your place!  We will have talks from ARM, Freescale, Mentor and Synopsys.See you there!

Automating Assertion Based Verification – DVClub Europe (July 7th 2014)

We would all like to see designers adding assertions to their code.  Unfortunately, the effort and time required by the designers to write these assertions often prevents them from creating the assertions.  The language knowledge and skills required to write assertions often adds a further barrier.  Mark Hanover (Mentor Graphics) presentation at the next European DVClub will explain a solution called Questa PropGen which automates ABV.   It enables the verification team to generate properties automatically using existing test environments and reduces the amount of manual coding of assertions.

Mark has been involved in the design and verification of complex SoC’s for over 15 years with positions in a number of commercial and mil-aero companies and will share his experience with us.

Why not register and join us at the next DVClub on 7th July?  We have venues throughout Europe and Remote Access and it’s a great opportunity to network!!!

July DVClub – Assertions: A Smart Path to Low Power Verification of Complex SoCs

In the next DVClub Europe, Monday, 7th July, Gaurav Jain, Senior Design Engineer from Freescale Semiconductor, will present a case study on the deployment of System Verilog low power assertions along with CPF enabled dynamic simulations to verify a Next Generation Low Power SoC. and how multiple assertion categories were deployed to target verification of low power design features, Integration of Macro models, sequencing and connectivity of critical control signals and to prove the clocking and reset schemes in each device mode.

Why not join us at one of our locations in Bristol, Cambridge, Eindhoven, Grenoble and Sophia Antipolis to hear the full presentation from Gaurav.  We will also be joined by speakers from ARM, Mentor Graphics and Synopsys and promises to be an interesting and informative afternoon.  If you are unable to attend one of our locations, why not register for Remote Access?

July DVClub – An Efficient Methodology to Find Bugs with ABV

The next DVClub will be taking place on Monday, 7th July with locations in Bristol, Cambridge, Eindhoven, Grenoble, Sophia Antipolis and by Remote Access.  Laurent Arditi a Principal Engineer at ARM France will be joining the Sophia Antipolis venue to talk about ‘An Efficient Methodology to Find Bugs with ABV (Assertion Based Verification)’.

This presentation will cover how ABV is an important part of functional verification and will demonstrate how they have successfully applied ABV on different generations and classes of ARM microprocessor designs and will help managers and engineers understand how to apply ABV for good results by showing examples on recent CPUs developed by ARM to illustrate, and to “prove” ABV has a high RoI.

To find out more about Laurent and the other speakers visit the T&VS website and register for your place on the July DVClub.

Formal Verification Slides and Recordings Available

The Formal Verification Conference took place on Thursday, 15th May and we would like to thank everyone who helped to make it a success!

The presenter slides and recordings are now available on the TVS Website if you would like to review them again or if you were unable to attend the event this year.     We look forward to seeing you at the next event!

July DVClub on “Assertion Based Verification” – Call for Papers

Our next DVClub will be held on Monday, 7th July 2014 and would like to invite you to share a story which would be relevant to the topic of Assertion Based Verification.  The DVClub takes place across Europe with venues in Bristol, Cambridge, Eindhoven, Grenoble and Sophia and with Remote Access available, reaches around the world.  We are always looking for good end user case studies to share with the community.

For more information on how to take part in the DVClub or to submit your story, contact Mike Barley using the Contact Us Form.