Quantcast

Latest Logic in computer science Stories

2010-05-06 02:01:00

SANTA CLARA, Calif., May 6 /PRNewswire/ -- NextOp Software, Inc. formally introduced itself today as a functional verification provider focused on delivering Assertion-Based Verification solutions that leverage design and testbench information to uncover bugs, expose coverage holes and increase verification observability. NextOp also announced today its flagship assertion synthesis product BugScope(TM), after four years of development of key technologies and successful work with several...

2010-05-04 08:52:00

STOCKHOLM and CALIFORNIA, May 4, 2010 /PRNewswire/ -- Prover Technology, the world leader in Signaling Design Automation, today announced that it has received an order for delivering a Prover iLock solution for development and checking of interlocking systems from Canadian Pacific (CP), a Class 1 railway company. The Prover iLock solution will automate code generation, formal safety verification and functional testing of interlocking system software for platforms Microlok(R) II,...

f0c9d51c44a123868253ac66a07216651
2009-07-28 14:20:00

A new computer game prototype combines work and play to help solve a fundamental problem underlying many computer hardware design tasks.The online logic puzzle is called FunSAT, and it could help integrated circuit designers select and arrange transistors and their connections on silicon microchips, among other applications.Designing chip architecture for the best performance and smallest size is an exceedingly difficult task that's outsourced to computers these days. But computers simply...


Word of the Day
drawcansir
  • A blustering, bullying fellow; a pot-valiant braggart; a bully.
This word is named for Draw-Can-Sir, a character in George Villiers' 17th century play The Rehearsal.
Related