Concepedia

Dill

DI

Statistics

Publications

3

Citations

324

H-Index

3

Active since

1986

Affiliations

Stanford University(Current)

Dill is an author at Stanford University specializing in computer science, computer engineering, and minimization.

Publications per year

1986–1992

3

Publications

3

Automatic Verification of Sequential Circuits Using Temporal Logic

Browne, Clarke, Dill et al. · IEEE Transactions on Computers · 1986 · 203 citations · Full text

, , +14

Automatic synthesis of 3D asynchronous state machines

Yun, Dill · IEEE/ACM International Conference on Computer-Aided Design · 1992 · 65 citations

, , +17

Exact two-level minimization of hazard-free logic with multiple-input changes

Nowick, Dill · IEEE/ACM International Conference on Computer-Aided Design · 1992 · 56 citations

, , +16

1–3 of 3