HIGH LEVEL SCIENTIFIC SYMBOLIC COMPUTER

Brand Owner (click to sort) Address Description
ID MASSACHUSETTS INSTITUTE OF TECHNOLOGY, THE 77 MASSACHUSETTS AVENUE CAMBRIDGE MA 02139 HIGH-LEVEL SCIENTIFIC AND SYMBOLIC COMPUTER PROGRAMS AND INSTRUCTIONAL MANUALS SOLD AS A UNIT;
ID WORLD MASSACHUSETTS INSTITUTE OF TECHNOLOGY, THE 77 MASSACHUSETTS AVENUE CAMBRIDGE MA 02139 HIGH-LEVEL SCIENTIFIC AND SYMBOLIC COMPUTER PROGRAMS AND INSTRUCTIONAL MANUALS SOLD AS A UNIT FOR USE IN THE FIELD OF PARALLEL PROGRAM DEVELOPMENT AND EXECUTION;
 

Where the owner name is not linked, that owner no longer owns the brand

    
Technical Examples
  1. The present invention relates to the field of computer hardware locic circuits, and in particular to a method for verifying the proper operation of a digital logic circuit, and in particular to symbolic simulation of a gate-level netlist corresponding to said hardware logic circuit. In order to add a useful alternative in the field of functional, exhaustive simulation and of symbolic simulation, it is proposed to perform the steps of: