Category Archives: Active Event

Can Formal Verification Help Make Robotic Assistants Trustworthy?

Dr Clare Dixon from the University of Liverpool to present keynote address at Formal Verification 2017 – sharing her experiences from the EPSRC-funded Trustworthy Robot Assistants project

June 1st 2017,  Bristol, UK. – Test and Verification Solutions (T&VS) today announced details of the keynote presentation and the full program of technical presentations and panel discussion for Formal Verification 2017 (FV2017). Now in its Fifth successful year FV2017 is organised by T&VS and is Europe’s premier forum dedicated to discussing the application of Formal-based techniques to the verification and validation of complex SOCs, embedded hardware and software.

FV2017 is a one-day, free-to-attend conference that takes place in Reading, UK on Tuesday 27 June 2017. It is also available as a simulcast webinar.

“Once again, we have a very strong program and I’m especially pleased to have Dr Clare Dixon from the University of Liverpool join us to provide the keynote and to share her perspective on Robotic Assistants and what we need to do to ensure they are reliable, safe and trustworthy.” said Mike Bartley, CEO and Founder of T&VS. “Clare has over 20 years’ experience working in Formal and her award winner paper “The Fridge Door is Open” sets the scene for what we can expect.”

Keynote Details

Technical Presentations

Additional Information

For additional information and to register please visit:

FV2017 is free to attend and is made possible through the support of its sponsors: Cadence, Mentor, Onespin Solutions, Synopsys and T&VS.

About T&VS

T&VS (Test and Verification Solutions Ltd) provides services and products to organisations developing complex products in the microelectronics and embedded systems industries. 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 and its own Verification (EDA) signoff tool.

T&VS Company Contact



See T&VS at DAC 2017 – 18-22 June, Austin TX.

The Design Automation Conference (DAC) is the premier conference devoted to the design and automation of electronic systems (EDA), embedded systems and software (ESS), and  intellectual property (IP). DAC offers outstanding training, education, exhibits and superb networking opportunities for designers, researchers, tool developers and vendors.

At this year’s event Mike Bartley, founder and CEO of T&VS will be contributing to the following panel discussion.

DAC Panel : Verification Necessity: When is Enough Too Much?

Mike Bartley
T&VS Founder and CEO

One contributing factor to the growing verification complexity is the emergence of new layers of verification requirements that did not exist years ago and that are driving the need for new solutions and expertise. Given a complex SoC project’s constraints (i.e., finite resources, finite time, and finite budget) some of the important questions that will be put to the panel include: How do you construct an efficient, effective, and productive verification flow?  and When is a proposed verification solution a necessity or nicety?

  • Moderator: Brian BaileySemiconductor Engineering
  • Wednesday June 21, 4:30pm – 5:20pm –  12AB
  • Track: EDA and Embedded Systems
  • Panelists:
    • Mike Bartley – Test and Verification Solutions
    • David Lacey – Hewlett Packard Enterprise
    • Ashish Darbari – OneSpin Solutions GmbH, Munich, Germany
    • Lauro Rizzatti – Rizzatti LLC, Portland, OR
    • Amol Bhinge – NXP Semiconductors, Austin, TX
  • DAC Website: Verification Necessity: When is Enough Too Much?

Meet Us at DAC 2017

If you would like to meet up at DAC to discuss you Test and Verification requirements, including all aspects of Hardware Verification, Software Testing, Security Testing & Data Protection or Safety Compliance, please contact us to arrange a suitable time and place.

Join T&VS partner 42Gears at GES2017 – 17-20 April. Greater Noida, India

Join T&VS partner 42Gears Mobility Solutions at the Global Exhibition on Services (GES 2017) event to discuss how we can help your business go mobile.

GES is a unique initiative by the government of India to showcase the strength and potential of the Indian services industries.

  • Find 42Gears in: Hall 7, Booth 110
  • 17-20th April
  •  India Expo Centre & Mart, Greater Noida, India
  • GES 2017 Website

Discover How We Can Help

Through a strategic partnership with 42Gears Mobility Solutions, T&VS customers now have access to leading-edge Enterprise Mobility Management (EMM) solutions that have helped thousands of companies secure and efficiently deploy mobile applications on wide variety of devices such as tablets, smartphones and IoT devices.

  • Simplified Enterprise Mobility Management for SMBs
  • Comprehensive Solutions to Manage, Secure and Monitor
  • Trusted by over 6,000 Companies across 100+ Countries
  • Used in education, construction, financial services, healthcare, hospitality, manufacturing, transport & logistics, retail, IoT and other verticals

GES 2017 – Book a Meeting

If you would like to sit down with 42Gears at the show for an informal chat to discuss your requirements please get in touch with T&VS so that we can arrange a time and place to meet that is convenient with you.

See T&VS at Embedded World 2017

Embedded World 2017

Embedded World 2017 is the leading international fair for embedded systems and T&VS have a stand on the show floor to demonstrate our test and verification expertise with visitors and to highlight the solutions and services we can offer.

Discover How We Can Help

If you are attending Embedded World don’t miss the opportunity to stop by the T&VS stand to discuss the full range of test and verification solutions on offer to companies developing advanced Embedded and IoT products, including:

Embedded World 2017 – Book a Meeting

If you would like to sit down for an informal chat to discuss your requirements please get in touch so that we can arrange a time and place to meet that is convenient with you.