| Constrained conditional resource sharing in pipeline synthesis | 11 | 7.34 | 1988 |
| Derivation and Refinement of Fan-Out Constraints to Generate Tests in Combinational Logic Circuits | 2 | 0.86 | 1986 |
| Informed Test Generation Guidance Using Partially Specified Fanout Constraints | 0 | 0.34 | 1986 |
