Skip to content

Brian's Brain Dump

Discovering Portland and beyond

Recent Posts

  • Live in the Bing: Lianne La Havas
  • James Hunter Six in the Bing
  • Live in the Bing: Martin Harley
  • Reflections of Pittock Mansion
  • Portland’s latest attraction: Steam

  • My Books
  • Privacy Policy

verification

EDA 

Pavilion Panels at DAC

May 11, 2011 admin 1 Comment DAC, EDA, ESL, Panels, verification

In my previous DAC blog, I talked about the new companies that would be exhibiting in the verification and ESL

Read more
EDA 

New exhibitors at DAC this year

May 9, 2011May 11, 2011 admin 1 Comment ApS Brno, Chip Path, DAC, EDA, ESL, InPA, Oski, Reveal, Rocketick, STM, TinnoTek, Vayavya, Veridae, verification

Have you wondered what new companies and technologies are going to be displayed at DAC this year? Well here is

Read more
EDA 

Verification 101: Positive and Negative Verification

April 9, 2011February 18, 2012 Brian EDA, Negative, Positive, Processor, Validation, verification

The concept for this installment of verification 101, is something that I have been talking about for a number of

Read more
EDA 

Verification 101-2 Directed and Random testing

April 6, 2011February 18, 2012 Brian Brian Bailey, constrained, directed, EDA, random, response, simulator, stimulus, testing, verification

In this edition of Verification 101, we will take a closer look at dynamic verification and in particular simulation. A

Read more
EDA 

Verification 101: What is Verification all about?

April 1, 2011February 18, 2012 Brian checker, EDA, fundamentals, response, simulation, stimulus, verification

We often think that everyone knows the basics, but let’s face it, we have all, at some point in our

Read more
EDA 

Verification IP explained

March 30, 2011February 18, 2012 Brian Accellera, Denali, IP, OVM, UVM, verification, VIP, VMM

This was originally posted on techbites.com in 2009. Since then Accellera has approved UVM, which replaces both OVM and VMM

Read more
EDA 

Constraints to adoption of ESL

March 30, 2011April 3, 2011 Brian complexity, ESL, Gary Smith, OSCI, Synthesis, SystemC, TLM, verification

For many years, ESL has been just on the horizon, but never quite seemed to come into the light of

Read more
EDA 

BDDs, OBDDs and ROBDDs

March 29, 2011February 18, 2012 Brian BDD, formal, Graph, Kaufmann, OBDD, Randy Bryant, ROBDD, verification

Given that Randy Bryant has just been awarded the Kaufmann prize for his work on formal verification, I thought it

Read more
EDA 

How many models does it take?

March 29, 2011March 30, 2011 Brian coverage, EDA, models, property, RTL, verification

I have recently started to ask people at conferences and exhibitions a simple question: How many models does it take

Read more

Categories

  • Culture (93)
    • Art (30)
    • Books and Films (3)
    • Festivals (14)
    • History (35)
    • Music (18)
  • EDA (18)
  • Hiking (51)
  • Nature (79)
  • Opinion (23)
  • Photography (97)
  • Portland (68)
    • Beer (3)
    • Events (11)
    • Fountains (13)
    • Parks and Gardens (18)
    • Places and things (19)
  • Travel (124)
    • Close to home (77)
    • Far Away (18)
  • Uncategorized (7)

.


Tags

Apple art Astoria Beaverton Bing Lounge Blossoms California Camping Columbia Gorge DAC EDA England ESL Festival flowers fountains fruit Gardening Gardens Grand Floral Parade Hike hiking history Hood River kink.fm Lake Oswego McMenamins Mosier Music musicians opinion Oregon Photography Portland Rose Festival sculpture Shakespeare Theater tour transgender travel verification Washington Waterfalls Wildflowers

Recent Comments

  • Kenneth Roth on Portland fountain tour: Thompson’s Elk Fountain
  • Michael on The Pillars of Hercules
  • George on Imelda May Rocks Portland
  • Kaity on Packy, Oregon Zoo’s Famous Asian Elephant
  • Jackie Cherry on The Pillars of Hercules
  • Mix-Movie.com on McMenamins Grand Lodge
  • Cheri arthur on McMenamins Crystal Ballroom
  • Rinchen Londop on Sand Mandala
  • admin on McMenamins Crystal Ballroom
  • Kaman on McMenamins Crystal Ballroom
Copyright © 2023 Brian's Brain Dump. All rights reserved.
Theme: ColorMag by ThemeGrill. Powered by WordPress.