Around the Design and Verification Conference in San Jose at the beginning of the March, a lot of activity was happening in the online world in preparation for the big meetup of the verification community.
First, the DeepChip.com web-site published a set of five (5) articles that surveyed the world of formal verification in EDA, written by Jim Hogan, of Vista Ventures, a Silicon Valley investment firm. Jim is currently on the Board of OneSpin, a formal tools company. Knowing Jim, he did his homework before getting involved with them. If you read the articles, which total 12,000 words, you will have to agree with me there is a lot of great content here. If a technical writer charged for producing this, you would be looking at a bill close to $20,000.
These days you have to two general ways to verify the functionality of your RTL with formal. You either write your own properties and then feed them and the RTL to a formal property verifier (FPV) tool, OR you have an application-focused formal tool automatically read and apply properties to your design.
You will glad to know that the free Exhibits-Only registration for the Design and Verification Conference (DVCon) that is taking place Feb. 29 through Mar. 3, gives you access to the Tuesday keynote by Wally Rhines of Mentor, and the two panels on Wednesday. And don’t miss the Tuesday evening reception hosted by EDAC, which finishes with Jim Hogan speaking with Dr. Ajoy Bose (Atrenta) about his experiences building multiple successful companies. Your DVCon registration gives you free access to this event.
Here are more details on the panels, one of which is organized by Real Intent.
Emulation + Static Verification Will Replace Simulation — Wednesday March 02, 1:30pm – 2:30pm | Oak/Fir(more…)
First, gravity waves have been detected for the first time in an announcement on Feb. 11. This confirms a major prediction of Albert Einstein’s 1915 general theory of relativity and opens an unprecedented new window onto the cosmos. Physicists have concluded that the detected gravitational waves were produced during the final fraction of a second of the merger of two black holes to produce a single, more massive spinning black hole. This collision of two black holes had been predicted but never observed.
The gravitational waves were detected by both of the twin Laser Interferometer Gravitational-wave Observatory (LIGO) detectors, located in Livingston, Louisiana, and Hanford, Washington, USA. The LIGO Observatories were conceived, built, and are operated by Caltech and MIT.
Last March, researchers completed major upgrades to the interferometers, known as Advanced LIGO, increasing the instruments’ sensitivity and enabling them to detect a change in the length of each arm, smaller than one-ten-thousandth the diameter of a proton(!). By September, they were ready to start new observations and then saw the black hole merger. (more…)
The game will be played in the Silicon Valley city of Santa Clara.
Super Bowl 50 is being played this Sunday, Feb. 7 to determine the champion of the National Football League (NFL) for the 2015 season. It will be held at Levi’s Stadium in Santa Clara, California, between the National Football Conference (NFC) champion Carolina Panthers and the American Football Conference (AFC) champion Denver Broncos. The game will be played about 6 miles from my house in the East Bay, but I will be enjoying the event on television. There will be the usual collection of interesting commercials and the half-time entertainment will include the band Coldplay and feature Beyoncé and Bruno Mars. My prediction is that the Panthers will beat the spread and defeat the Broncos by more than 6 points. I have not made any cash bets. Yet.
Jay Littlefield, Director of Product Strategy and Business Development at Real Intent sent me an email last night about a $5 book and video sale going on at PACKT Publishing books. Their titles are normally $30 to $50 and cover all the latest software technologies that are popular in the web, internet, database, big data and hobby communities. Sorry, no EDA software titles.
So if you are interested in knowing more about Python machine learning, React.js essentials, mastering Swift 2, cooking with Spark, diving into ECMAScript 6, or learning Docker, visit the PACKT web-site. The $5 titles are PDFs and also come in your favorite e-reader and Kindle formats.
At DAC, in 2014, we were giving away BeagleBone Black embedded computers for hobby projects. I checked and PACKT has 16 different titles for BeagleBone enthusiasts including “Building a BeagleBone Black Super Cluster.” Imagine configuring your own parallel computing Beowulf cluster!
With acquisitions, customers get nervous and for good reason. The support and responsiveness they get changes. Five respondents said they were considering possibly replacing SpyGlass with Real Intent. One user reported the following conversation:
“Your SpyGlass customer support won’t change as a result of the SNPS acquisition.” They actually said that to me with a straight face.
The article also reported a customer evaluation of our Ascent Lint and Meridian CDC (clock-domain crossing) tools. Here is a quick snippet: (more…)
Just in case you have never read a Presidential proclamation, here is the text for Thanksgiving Day, 2015. I learned something when I read it. Following this are two political cartoons for your amusement. Happy Thanksgiving to All!
THANKSGIVING DAY, 2015
- – – – – – -
BY THE PRESIDENT OF THE UNITED STATES OF AMERICA A PROCLAMATION
Rooted in a story of generosity and partnership, Thanksgiving offers an opportunity for us to express our gratitude for the gifts we have and to show our appreciation for all we hold dear. Today, as we give of ourselves in service to others and spend cherished time with family and friends, we give thanks for the many blessings bestowed upon us. We also honor the men and women in uniform who fight to safeguard our country and our freedoms so we can share occasions like this with loved ones, and we thank our selfless military families who stand beside and support them each and every day. (more…)
Recently, I interviewed Vikas Sachdeva, Sr. Technical Marketing Manager at Real Intent where we discusse why gate-level CDC verification is necessary, what are some of the failure modes that can occur, and why Meridian Physical CDC is the right tool to do gate-level sign-off. You can see the video below. You can also find more information about Meridian Physical CDC here.