Category Archives: TVS-Bristol

Digimakers – How to get children and teachers engaged in computing and technology

digimakers2The latest Digimakers event in Bristol once again saw a large group of young people having great fun with computing, something which can only help inspire the next generation of technical innovators and engineers.

For far too long Computing has been equated with IT which turns a lot of children away. Digimakers lets people see a whole new side of the subject by providing young people, their parents and their teachers with an opportunity to get directly involved in actually ‘making’ things in the digital world; through programming and hacking hardware.  Proving that there are more ways to have fun with technology than just posting social media updates and playing games.

The Digimaker series of events are free and are organised by the University of Bristol’s Faculty of Engineering together with the BCS (the Chartered Institute for IT) and At-Bristol.

To date they have encouraged well over 1,500 people from around the South West region of the UK to get involved.  Participants get to take part in hands-on workshops using cutting-edge technology such as Raspberry Pi, Arduino, Lego Mindstorms, game and application building tools as well as programming languages like Scratch, Python and Ruby on Rails.

mike-bartley-webAs local chair of the BSC and Chair of West of England Local Enterprise Partnership (LEP) High Tech Sector Group I know that our area has a huge number of local companies crying out for the kind of skills and creativity that these young people so ably demonstrate, and those jobs pay good salaries.  As a community we need to create a pipeline of talent for both our current employers and for new employers looking to locate here.  Helping to create our own local Silicon Valley or Silicon Gorge if you will!’

Digimakes does a great job to whet the appetite and encourage young people to explore the career opportunities on offer in the computing and electronics sectors. That has to be a good thing for our local industries and I encourage everyone interested to get involved.

Digimakers In Action

Additional Information

For information on the next event visit the Eventbrite Registration page or for general information follow Digimakers on Facebook or Twitter or contact: [email protected]
 

 

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.

Only a few more days to Formal Verification

With only two days to the Formal Verification Conference, have you got your ticket?  Join us on Thursday, 15th May where you will be able to listen to speakers from Cadence, Jasper Design Automation, Mentor Graphics, OneSpin Solutions, Synopsys, Dialog Semiconductor, Infineon Technologies, Broadcom as well as two distinguished speakers from the Universities of Oxford and Cambridge.

For more information about the speakers and to register to attend in person or by Remote Access, visit our website.

Formal Verification – From the Apps to Solutions

There is now only a few days before the Formal Verification Conference in Reading commences on Thursday, 15th May, where you will be able to listen to Joerg Mueller a Senior Verification Engineer with Cadence.  Joerg’s presentation is:  From the Apps to the Solutionsand how we see wide parts of the industry are aligning to deploy formal verification in a mainstream fashion.

We will also be joined by speakers from Dialog Semiconductor, Infineon Technologies and Broadcom.  This promises to be a full and interesting day.

For more information about the speakers and to register to attend in person or by Remote Access, visit our website.

Join OneSpin Solutions and Synopsys for Formal Verification

Join us on Thursday, 15th May 2014 for the annual Formal Verification Conference in Reading where you will be able to listen to Sergio Marchese a Senior Field Application Engineer with OneSpin Solutions.  He will be talking about Safety Critical Component Verification Leveraging Formal Techniques and how the use of formal techniques to apply elements of the standards during the verification of these safety critical components.

We will also be joined by Dan Benua, Principal Engineer at Synopsys who will be presenting Leveraging Formal in an Integrated Verification Platform which will explore some of the challenges and opportunities of combining formal technologies and methodologies with other verification techniques.

For more information about the speakers and to register to attend in person or by Remote Access, visit our website.

Verification Qualification DVClub Slides now Available

The April DVClub on Verification Qualification was another successful event with talks from Synopsys, Infineon, OneSpin Solutions, Dialog Semiconductors and Cray Ltd.  If you were unable to attend, or if you did and would like to review the slides, they are now available on the TVS website without having to log in, after 5th May you will have to be registered on the website to view the slides or recordings.

The next DVClub will be discussing Assertion Based Verification and will be taking place on Monday, 7th July 2014 why not register your interest and be one of the first to secure your place!

Do you have a story to tell that is relevant to Assertion Based Verification 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 be a part of the next DVClub.

We look forward to seeing you at the next event!!!

Last Chance to Register for Verification Qualification at April DVClub

The next DVClub will take place on Monday, 28th April 2014 in Bristol, Cambridge, Grenoble, Sophia and if you are unable to attend in person you can register for Remote Access.  The topic under discussion is Verification Qualification and with speakers from Synopsys, Infineon, Dialog Semiconductors, OneSpin Solutions and Cray Ltd it promises to be an interesting session.  Don’t miss this opportunity and register your place today.

DVClub – C/C++ Verification Effectiveness

The next DVClub is taking place on Monday, 28th April 2014 where Jean-Marc Forey of Synopsys will be talking about C/C++ Verification Effectiveness and how it is now pervasive in design conception, either through models at different stages of the design creation or by being embedded as firmware in the design itself.  If you have a bug escaping up to production, this can lead to high costs and delays in reaching the market, making it mandatory to assess and improve the effectiveness of the verification of the C/C++ code.  Certitude has been extended from its initial RTL focus to allow users to identify verification issues early in the design cycle.

To listen to Jean-Marc and the other interesting speakers we have lined up, register for one of the venues:  Bristol, Cambridge, Eindhoven, Grenoble and Sophia.  If you are unable to attend one of the venues, you can register via Remote Access.