The Wiretap Intercept No. 151125
opinions and skeptical speculations too small to fit into an Industry Gadfly column 


Subject: Some lite DeepChip reading over Turkey Day break...

  Editor's Note: If you're stuck bored with your relatives
  over Turkey Day break, here's some lite reading.  - John

------------------------

Oski on how to do signoff with bounded (incomplete) formal proofs
          http://www.deepchip.com/items/0552-02.html

User on Logic Refinery RuleSmith vs. JasperGold/0-in/BugScope/UVM
          http://www.deepchip.com/items/0550-02.html

16 nm FinFET memory designer on Spectre-XPS, HSPICE, and Solido
          http://www.deepchip.com/items/0547-03.html

User finds Tempus-TSO fixes PrimeTime/Encounter timing ECO churn
          http://www.deepchip.com/items/0545-06.html

How to get Calibre sign-off in batch mode inside SNPS IC Compiler
          http://www.deepchip.com/items/0538-04.html

MunEDA on why analog designers can NOT trust Solido HSMC results
          http://www.deepchip.com/items/0537-05.html

        ----    ----    ----    ----    ----    ----    ----
      An archive of prior intercepts       Next intercept       To reply or send a story to John

 Sign up for the DeepChip newsletter.
Email
 Read what EDA tool users really think.



Feedback About Wiretaps ESNUGs SIGN UP! Downloads Trip Reports Advertise
"Relax. This is a discussion. Anything said here is just one engineer's opinion. Email in your dissenting letter and it'll be published, too."
This Web Site Is Modified Every 2-3 Days
Copyright 1991-2024 John Cooley.  All Rights Reserved.
| Contact John Cooley | Webmaster | Legal | Feedback Form | 

   !!!     "It's not a BUG,
  /o o\  /  it's a FEATURE!"
 (  >  )
  \ - / 
  _] [_     (jcooley 1991)