Category Archives: Uncategorized

T&VS Awarded Place On The UK Government G-Cloud 9 Procurement Framework To Provide Cloud Support Services

22 May 2017,  Bristol, UK. – Test and Verification Solutions (T&VS), a leading hardware verification and software testing provider is proud to announce its appointment as a supplier to the UK government’s public sector cloud framework G-Cloud 9, under Cloud Support Services.

The G-Cloud procurement framework is part of the UK Governments Digital Marketplace, giving public sector organisations an easy solution for sourcing specialists for Cloud-related projects.  Eliminating the need for buyers to run complicated tenders, purchasing through the G-Cloud 9 framework is designed to make the purchase of Cloud services both faster and cheaper for public sector bodies.  Offering the dual benefit of shorter procurement cycles and faster service deployment.

This year has seen T&VS update their product solution set ready for G-Cloud 9, with a focus on the current industry challenges and the latest innovative testing solutions, including:

G-Cloud 8 Framework“T&VS have delivered a number of testing solutions to the public sector over the last 9 years and we have enjoyed great success providing testing services that have added real value” said Dr Mike Bartley CEO of T&VS. “Being awarded G-Cloud 9 is a major achievement for T&VS and we aim to continue to be the right choice for quality testing services in the public sector.”

About the Crown Commercial Service (CCS)

CCS works with both departments and organisations across the whole of the public sector to ensure maximum value is extracted from every commercial relationship and improve the quality of service delivery. The CCS goal is to become the “go-to” place for expert commercial and procurement services.

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



An Executive Briefing on Internet Security (20 January 2015)

If your company writes or uses software connected to the internet then this will inform you of the security threats you face, your responsibilities in respect of those threats and practical suggestions on how to discharge those responsibilities.

  • Tuesday 20 January 2015 – 8:00am-9:00am
  • Bristol, UK (The Engine Shed)
  • Register Today to ensure your FREE place


Internet security is an area that is not well understood, even by many of your IT staff. This is a golden age for hackers, with breaches increasing at a tremendous rate according to the latest Verizon report:


The paradigm of perimeter (network-centric) defence is now unable to keep up with malicious innovations that target the web applications, and that method of protecting assets is approaching a technical dead-end. Even if you double spending on perimeter defence, only a small increase in security would be achieved, and the return on investment would be very poor. It is crucial that cyber-security spending is targeted at preventing the real threats to your organisations, and not misplaced into unbalanced defences purely due to tradition.

This talk will use real-life case studies, including a $1 billion breach that cost the CIO and CEO their jobs, and what happens when businesses refuse to pay ransoms to criminal hackers that have taken control of supposedly secure systems.

We will highlight how compliance with standards such as ISO 27001 only sets a floor, not a ceiling on security. Everyone in modern organisations, including the executives, now need at least a basic understanding of cyber security to ensure their responsibilities are being discharged in good faith. We can win this struggle, but we have to understand the issues first.

TVS will present answers. We would like you to consider them!


  • 7:30am – Registration and Coffee
  • 8:00am – Presentation: Web Application Security
  • 9:00am – Questions & Networking
  • 9:30am – Close

About the Presenter

PR008-Declan_O’Riordan_TVS_Security_ExpertDeclan O’Riordan is Head of Security Testing at TVS and winner of the prestigious “Best Paper” and “Best Session” awards at this year’s EuroSTAR conference on Software Testing. Declan has worked for both large and small companies and across a broad range of sectors from insurance and banking to retail and government agencies. Declan is well known for speaking on IT security in general and application security in particular and believes it is both possible and essential for project teams to have a working understanding of security.

TVS has a Directed Verification Contract Role Vacancy in Germany

An experienced Verification Engineer is required in Germany for 3 months starting in January 2014 in Directed Testing using HDL.  You must be experienced in analysing spec, defining tests and then writing them.  You must be allowed to work in Germany as TVS will not be able to apply for your visa.

If this role is of interest to you, then Contact Us as soon as possible with your CV.

36 Verification Challenges looking for a solution

Next week European Semiconductor Engineers will present their major verification challenges. Infineon, Dialog, ST, ST-E, Nvidia, Wolfson, ARM, Lantiq, Freescale, Broadcom and TI will present a total of 36 verification challenges. The challenge for the EDA industry is to respond with solutions! You can learn more about these challenges and the solutions at Verification Futures /verification-futures

Verification Futures Conference Series (UK, France and Germany)

The Verification Futures conference series will take place across Europe next month and places are filling up fast!!  They follow on from the huge success of last year’s first ever UK Hardware Verification Conference which involved 300 participants from over 100 organisations across 21 countries.

This year there will be a series of FREE one-day conferences taking place in three different European locations:

19th November (Windsor, UK)

21st November (Grenoble, France)

22nd November (Munich, Germany)

Over 600 verification engineers are expected to attend across the three conferences, bringing a diverse wealth of expertise and an excellent chance to network, with plenty of opportunities to explore the challenges faced in the industry.

We’ll be bringing you details of the speakers, challenges and thoughts of the industry leaders in the days to come and you can find registration and agenda details by using the link.

Book now!  We sold out last year and had to disappoint those who didn’t register early, book now to avoid disappointment!!



Inward Investment UKTI meetings in Bristol

I am posting with my West of England LEP hat (see

I chair the Microelectronics Sector Group and our remit is to encourage sector growth within the region. With that in mind I am working with the UKTI who have a team that works with foreign companies who have an existingUKpresence which they would like to increase. The team will be inBristolnext Friday 1st June and have asked me to contact local companies with regard a meeting. This would be a one-one meeting between you and the UKTI to come up with a bespoke solution. Below is a list of areas where they can potentially help you.

Please let Ben Shorrock ([email protected]) know if you would like a 45 minute meeting with the UKTI team inBristol

R&D collaboration

Fujitsu- Through interactions with Fujitsu it became apparent that there were opportunities to work with the Research and Development function around High Performance Computing. UKTI worked with Fujitsu in theUKto build an internal business case for undertaking the work here.  A key part of this was introducing Fujitsu to major British universities and building a picture of key capabilities. Organisations UKTI worked with to facilitate this process included Imperial College London,ManchesterUniversity, University College London and theUniversityofOxford.  This project has now developed more widely and has become the Open Peta Scale Initiative-

Access to the ICT Knowledge Transfer Network FP7 research funding- a European funding scheme which funds collaborative research programmes in key areas. The next series of calls are being published during Summer/Autumn 2012 including;

  • Future Networks (€48.5 million)
  • Software Engineering (€41.5 million)
  • Internet of Things (€36 million)
  • Nanoelectronics (€32 million)
  • Photonics (€48.5 million)
  • Smart energy grids (€18 million)
  • Optimising energy systems in smart cities (€40 million).

Tax Credits/Grants

UKTI worked with company x whose business is cryptographic keys and security primarily within the financial services industry. UKTI worked with company x to assess their intellectual property for the Patent box scheme, which allows companies to pay a reduced level of tax on valid patents. This allowed the company to effectively assess where was best within their EMEA operations to hold IP and subsequently mitigate their tax bill. As part of this process UKTI also worked with company x introducing them to universities and explaining the benefits of R&D tax credits which allowed them to receive a rebate and build a business case to move a part of their R&D function from Eastern Europe to theUK.


UKTI have worked with a number of companies to develop specific skills and development packages in conjunction with further and higher educational institutions. A recent of example of this is the development of a specific degree in Treasury services for the Bank of New York Mellon (BONYM). BONYM had established their European growth centre inManchesterin 2005 and now employs 1,500 staff. UKTI and its partners have worked with BONYM to develop an Advanced Apprenticeship in Investment Administration, a new qualification backed by the Financial Services Skills Council. Since launching the qualification over 100 members of staff have signed up. In addition UKTI and partners have facilitated a relation withManchesterMetropolitanUniversityto develop a part-time Financial Services BA Honours Degree course to help 70 BONYM employees take their career further within the industry. This has been a major success, providing higher level training that meets the company’s specific needs, and a continuous development path for those employees who have completed the Apprenticeship programme.

Meet the Cortex-A15 Verification team in Bangalore on May 23rd 2012

TVS is pleased to work with ARM to bring “The Cortex-A15 Verification Story” toBangalore.

Bill Greene (Austin CPU Validation Manager, ARM) and Micah McDaniel (Principal Design Engineer, ARM, was the verification lead for the Cortex-A15 processor) have presented at DVClub on this before (see here).

Bill and Micah will be in India on May 23rd and will be presenting their slides at DVClub in Bangalore. Use this link to book your attendance to be inBangalore or to listen remotely via a webinar.

Don’t miss out on this chance to hear how the ARM Cortex-A15 was verified!

The event is free and booking is easy – click here.

Quick link to your FREE tickets on Eventbrite Eventbrite - DVClub - The Cortex-A15 Verification Story

Lies, Damned Lies and Hardware Verification

This relates to a paper I delivered at SNUG in Munch in 2008. It looks at a number of myths that surrounded verification at the time but that still seem relevant today!

  • Verification takes 70% of the design cycle
  • Half of all chip developments require a re-spin, three quarters due to functional bugs
  • Pseudo-random simulation has killed off directed testing
  • Formal verification will eventually replace simulation
  • And many, many more…

The paper can be found here: Lies, Damned Lies and Hardware Verification