Synthesis of pipelined instruction set processors

Generating instruction sets and microarchitectures from applications

ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design

MIST—a design aid for programmable pipelined processors

DAC '94 Proceedings of the 31st annual Design Automation Conference

An extended classification of inter-instruction dependency and its application in automatic synthesis of pipelined processors

MICRO 26 Proceedings of the 26th annual international symposium on Microarchitecture

Hardware/software resolution of pipeline hazards in pipeline synthesis of instruction set processors

ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design

A Practical Methodology for the Formal Verification of RISC Processors

Formal Methods in System Design

High-level automatic pipelining for sequential circuits

Proceedings of the 14th international symposium on Systems synthesis

Symbolic NFA scheduling of a RISC microprocessor

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Synthesis of custom processors based on extensible platforms

Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design

Balancing structural hazards and hardware cost of pipelined processors

EDTC '95 Proceedings of the 1995 European conference on Design and Test