Login / Signup

Verification strategy for the Blue Gene/L chip.

Michael E. WazlowskiNarasimha R. AdigaDaniel K. BeeceRalph BellofattoMatthias A. BlumrichDong ChenMarc Boris DombrowaAlan GaraMark GiampapaRuud A. HaringPhilip HeidelbergerDirk HoenickeBen J. NathansonMartin OhmachtRobert SharrarSarabjeet SinghBurkhard D. Steinmacher-BurowR. Brett TremaineMickey TsaoArun R. UmamaheshwaranPavlos Vranas
Published in: IBM J. Res. Dev. (2005)
Keyphrases
  • functional verification
  • massively parallel
  • low cost
  • high speed
  • search strategy
  • model checking
  • high density
  • data sets
  • distributed systems
  • single chip
  • physical design
  • analog vlsi