This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Carl-Johan H. Seger
A grouping.
Carl-Johan H. Seger, one of the two hands behind symbolic trajectory evaluation and later Intel formal verification. Five records, 1991 to 2015; the 1991 ternary-simulation paper spells him without the middle initial.
4 references
Word-level Symbolic Trajectory Evaluation
Supratik Chakraborty and others (2015)
Formally Verifying IEEE Compliance of Floating-Point Hardware
John W. O'Leary and others (1999) · Intel Technology Journal
Formal verification by symbolic evaluation of partially-ordered trajectories
Carl-Johan H. Seger and others (1995) · Formal Methods in System Design · Springer Science+Business Media
Formal Verification of Digital Circuits Using Symbolic Ternary System Models
Randal E. Bryant and others (1991) · Computer-Aided Verification '90 · American Mathematical Society