2006 · 162 citations · 14 references
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureFormal MethodsHardware-software Co-designHardware ArchitectureHardware SpecificationLatency OptimizationMicroarchitecture DesignCommunication ArchitectureCommunication ChannelsDatapath DesignElasticityGranularityLow-latency DesignMicroarchitectural ModelingSynchronous Design
A simple protocol for latency-insensitive design is presented. The main features of the protocol are the efficient implementation of elastic communication channels and the automatable design methodology. With this approach, fine-granularity elasticity can be introduced at the level of functional units (e.g. ALUs, memories). A formal specification of the protocol is defined and an efficient scheme for the implementation of elasticity that involves no datapath overhead is presented. The opportunities this protocol opens for microarchitectural design are discussed.
14
Petri nets: Properties, analysis and applications
T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations
The temporal logic of programs
Amir Pnueli · 1977 · 5.7K citations