Five Computers

large hadron collider

Pretty isn't it? This is the Compact Muon Solenoid (or big electro-magnet) experiment tracker outer barrel from the Large Hadron Collider. They are getting close to firing this up, over on the border between Switzerland and France. CERN starts the first particle beam tests this month, with the first real particle collisions happening towards the end of the year. I keep having an REM song playing in the back of my head when I look at these pictures.

There are comments.

new companies at DAC

Based on the list of exhibitors and the scant information provided, these are some of new companies that appear to have a verification aspect to their products. I'll be finding out more next week on site. Brian Bailey has his take on DAC for Verification, over at Chip Design mag, that is worth a look if you are struggling to fill your schedule! There is quite an overwhelming amount of things packed in to next week.

• Amiq Consulting S.R.L.1
  • RTL level verification & verification IP
    

• Axilica Ltd.
  • Tools for UML modeling/simulation of HW/SW designs
    

• Duolog Technologies Ltd.
  • Intelligent testbench, ESL verification - Socrates design environment
    

• Imera Systems, Inc.
  • Network virtualisation, remote debugging and source code access
    

• Paradigm Works, Inc.
  • Verification services company. Selling SystemVerilog FrameWorks tools
    

• SAS Satin IP Technologies
  • Design reuse management flows & technology. VIP lane product for IP deployment
    

• Synapse Design Automation
  
  • Design & Verification services company
    

• WinterLogic Inc.
  
  • Verilog fault simulator company: Fault Manager

There are comments.

visualising complex datasets

A great example of the sort of insight that you can glean from a lot of data, with the right sort of visualisation.

There are comments.