COSMOS: A Compiled Simulator for MOS Circuits
The work
| Authors | Randal E. Bryant; Derek Beatty; Karl Brace; Kyeongsoon Cho; Thomas Sheffler |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 1987 |
| Citekey | bryant1987cosmos |
Where it appeared
| Published in | 24th ACM/IEEE Design Automation Conference |
|---|---|
| Publisher | ACM Press |
| Pages | 9--16 |
Identifiers
| DOI | 10.1145/37888.37890 |
|---|
Access
| URL | https://www.cs.cmu.edu/~bryant/pubdir/dac87.pdf |
|---|---|
| Landing page | https://doi.org/10.1145/37888.37890 |
Related
| Distinct from | basin1991formally |
|---|---|
| Distinct from | bryant1981switchlevel |
| Distinct from | bryant1982mossim |
| Distinct from | bryant1985symbolic |
| Distinct from | bryant1986graphbased |
| Distinct from | bryant1987algorithmic |
| Distinct from | bryant1987boolean |
| Distinct from | bryant1991extraction |
| Distinct from | bryant1991memory |
| Distinct from | bryant1991methodology |
| Distinct from | bryant2018binary |
| Distinct from | camilleri1986hardware |
| Distinct from | leeser1988reasoning |
| Distinct from | seger1995formal |
From crossref.
Abstract
The COSMOS simulator provides fast and accurate switch-level modeling of MOS digital circuits. It attains high performance by preprocessing the transistor network into a functionally equivalent Boolean representation. This description, produced by the symbolic analyzer ANAMOS, captures all aspects of switch-level networks including bidirectional transistors, stored charge, different signal strengths, and indeterminate (X) logic values. The LGCC program translates the Boolean representation into a set of machine language evaluation procedures and initialized data structures. These procedures and data structures are compiled along with code implementing the simulation kernel and user interface to produce the simulation program. The simulation program runs an order of magnitude faster than our previous simulator MOSSIM II.
A copy is held
pdf, 164.0 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-09-16 06:52 UTC |
| Approved by | a person 2026-10-02 09:58 UTC |
Cite it as
@inproceedings{bryant1987cosmos,
title = {COSMOS: A Compiled Simulator for MOS Circuits},
author = {Randal E. Bryant and Derek Beatty and Karl Brace and Kyeongsoon Cho and Thomas Sheffler},
year = {1987},
booktitle = {24th ACM/IEEE Design Automation Conference},
publisher = {ACM Press},
pages = {9--16},
doi = {10.1145/37888.37890},
}
This record lives at https://refs.drheap.org/bryant1987cosmos/ and will keep doing so.