Archive for the ‘Uncategorized’ Category
Thursday, October 24th, 2013
If you are someone who does formal verification and is looking for a chance to talk over the challenges with others who do similar work, Oski Technology has something that may be of interest to you. Starting this month in Silicon Valley, the company is kicking off its Oski Decoding Formal Club. The inaugural meeting took place at the Computer History Museum on October 10th, and was lead by company CEO Vigyan Singhal.
Over lunch, he presented a 45-minute overview titled, “Using Bounded Proofs in Formal Sign-off.” Singhal noted during his talk that it’s the reality today that formal is expensive and returns “low bang for the bucks.” He insisted, however, that if there were places to learn more about how to apply formal verification, and how to build a productive formal team, the technology would be more widely applied and its destiny more quickly fulfilled as an extremely effective technique for use end-to-end throughout the design process.
Following Singhal’s presentation, the 20+ people in attendance (representing 10 companies) were each given time in a relaxed, roundtable environment to share their experiences and/or frustrations with formal. The companies included Apple, Broadcom, Cisco, HiSilicon, Memoir Systems, Microsoft, Nvidia, Palo Alto Networks, Qualcomm, and a startup. In other words, companies both big and small were represented and the resulting conversation was very interesting. It was clear as the talking stick was handed around, that some practitioners were very confident and sure of themselves, while others were relieved to know they’re not the only ones who struggle with formal.
Wednesday, October 16th, 2013
Several years ago, after a phone briefing about a new product launch, I received a call back from the PR counsel who had organized the meeting. She asked me if I had all the info I needed regarding the product and the company. I said yes, and offered a minor apology for asking too many pointed questions of the marketing manager during the interview.
She said, “Oh, that’s okay. Talking to you is like talking to Aart de Geus. It’s clear you both think you’re the smartest guy in the room.”
That comment has come to mind multiple times since then, for two reasons. One, you never really know what impression you leave with people until it comes out at some capricious moment. And two, Aart de Geus isn’t the smartest guy in the room, just because he thinks so. He’s the smartest guy in the room, because he really is the smartest guy in the room.
That’s particularly applicable today with the EDAC event celebrating the 50th Anniversary of the EDA industry about to commence this evening in Silicon Valley. Per the Consortium, a plethora of industry luminaries will be in attendance. Per this writer, none will be more luminary than Dr. de Geus. If you’re reading this, you’re probably pretty well versed in both the history of EDA and the history of Aart de Geus. Nonetheless, here’s the latter in a nutshell.
Thursday, October 10th, 2013
Given that history and innovation are being featured here in this space this week, it’s only appropriate to highlight the fact that EDAC is hosting a very interesting event related to history and innovation in Silicon Valley next week.
On Wednesday, October 16th, those who have made massive contributions to the EDA industry will be highlighted and celebrated at a black-tie optional dinner at the Computer History Museum. If you’re interested in rubbing elbows with the powerful and prolific, you should be going to this event. If you want a chance to bid at auction for lunch with today’s corporate leaders in EDA, you should be going to this event. If you think said corporate leaders make enough money to pay for your lunch, rather than vice versa, you should still be going to this event.
Thursday, October 10th, 2013
Bill Martin, E-System Design President & VP of Engineering, sent the following essay detailing 4 Generations in the History of Electronics, including the Last/Lost Generation …
“If I have seen further, it is by standing on the shoulders of Giants.”
Isaac Newton, 5 February 16761
1st Generation (1940-1960s): Vacuum tubes and possibilities
The start of the electrical computer age produced first generation electrical computers that required large rooms to contain them. These computers were large, heavy, power-consuming devices that had poor reliability (mean time between failures, MTBF): nothing like today’s handheld consumer devices that are more powerful, fit in your pocket, easily connect wirelessly to networks and can last 4+ hours on a single charge.
A few smart engineers realized that larger systems could not be built unless higher levels of integration were possible, helping to improve MTBF, size, weight, power and cost: a recurring theme for each generation that followed.
Thursday, October 10th, 2013
Was just trying to get downtown in time for happy hour at my favorite wine bar tonight, when what should I stumble upon but the ribbon cutting for Draper University.
The new darling of downtown San Mateo, this one-off school of entrepreneurialism is housed in the iconic Ben Franklin Hotel, which has stood as art-deco sentinel over the historic center of San Mateo for nine decades. Now re-painted, spruced-up, and re-named Draper U, the folks founding this trendy school have closed the entire block of 3rd Avenue this evening in order to celebrate their launch.
No matter that the 3rd Ave Sports Bar, Kaffeehaus, or Masu Japanese Bistro – not to mention the original Amicia’s Pizza – might want to draw in their own Thursday evening foot traffic, Draper University is King of the Hill here this evening. A way-hip band blares away mid-block to pump up the crowd, enormous oversized beach balls roll up and down the suddenly-pedestrian-only street, and a 2-story climbing tower can be spotted above the noisy, shifting crowds.
Thursday, October 3rd, 2013
There are a lot of things about life in the 21st century that are annoying, things related to our environment being super-saturated with technology. Electronic stuff around the house that never goes dark so you have to cover them with an old sock to get some shut-eye; wireless devices that send out vibes that tingle in your hands and wrists when they power up; kids who respond to text messages but not voice, kids who respond to voice messages but not text; and the pile of old cellphones and PDAs holed up in a dark corner of that drawer in the kitchen.
For the sake of this blog post, however, a specific bucket of annoying has been chosen for special shout out. Listed in no particular order, all of them show up with sufficient frequency to make you wonder if we’re really making progress here.
Thursday, September 26th, 2013
A Professor, a Sage, and a Guru walked into a bar. Brian the Bartender, greeted them: “What’ll it be, boys?”
The Professor said, “We need some help, Brian, settling an argument.”
“No problema,” Brian the Bartender said. “I’ve got an answer for everything.”
“Well,” the Professor said, “I think ESL’s not going to happen in our lifetime, but the Guru here says it’s just around the corner now that he and his have finally got all the pieces of the flow in place.”
Brian the Bartender laughed, “Yeah, the Guru’s been saying that since the dawn of mankind!”
“Exactly,” the Professor said.
Again Brian the Bartender laughed, “Guru, can you defend yourself? And don’t even think about plunking your wordy White Paper down on the bar. This is a public house, not a public library.”
Thursday, September 19th, 2013
Mentor Graphics has thrilled once again. This past Monday, they hosted one of their periodic Silicon Valley dinners for customers, press and analysts where they include a physicist on the menu along with a gourmet meal and lots of fine reds and whites. The physicist de jour on September 16th was Cal Tech celeb Sean Carroll, author of the best selling book, The Particle at the End of the Universe.
An excellent speaker, gifted and glib, Carroll walked his audience of 75+ through stuff they once knew but had forgotten, or never knew at all – the history of the science of particle physics, the evolution of field theory, and the importance of Geneva-based CERN and its still-wet-behind-the-ears Large Hadron Collider [LHC], which last year on July 4th validated its $9 billion+ price tag by smashing things around a bit and creating the first observable Higgs boson.
Wednesday, September 11th, 2013
Several weeks ago on a warm, sunny day in New York City, we took the subway south from mid-town Manhattan to return to the World Trade Center after a 10-year hiatus.
The last time we were there in 2003, the skies were gray, the rain intermittent, and the enormous site still cordoned off by an endless chain-link fence. With thousands of other silent tourists, we wandered way around the soggy gaping hole, crossed a covered catwalk, and were channeled into the lobby of the World Financial Center to see models of proposals for the site – a range of different commercial towers combined with various concepts of memorials that might be incorporated into the rebuilt complex.
Returning now in 2013, we did not know what to expect; we were only vaguely aware of how the place is being brought back to life. Had a stranger on the subway not told us, we would not have known that you need tickets to get into the site, that the ticket office is several blocks away from the entrance, and that you will be assigned an entry time that may be hours away. We decided to try to go anyway.