首页>
外国专利>
SYNTHESIS SYSTEM FOR PIPELINED DIGITAL CIRCUITS
SYNTHESIS SYSTEM FOR PIPELINED DIGITAL CIRCUITS
展开▼
机译:流水线数字电路综合系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
Computer-implemented methods and systems for synthesizing a hardware description for a pipelined datapath for a digital circuit. A transactional datapath specification framework and a transactional design automation system automatically synthesize pipeline implementations. The transactional datapath specification framework captures an abstract datapath, whose execution semantics is interpreted as a sequence of “transactions” where each transaction reads the state values left by the preceding transaction and computes a new set of state values to be seen by the next transaction. The transactional datapath specification framework exposes sufficient information about state accesses that can occur in a datapath, which is necessary for performing precise data hazards analysis, and eventually pipeline synthesis.
展开▼