XDC Support in Synthesis Tool using YACC
暂无分享,去创建一个
[1] Hua Wang,et al. The memetic algorithm for the minimum spanning tree problem with degree and delay constraints , 2013, 2013 15th International Conference on Advanced Communications Technology (ICACT).
[2] Lucas C. Cordeiro,et al. Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker , 2011, 2011 Brazilian Symposium on Computing System Engineering.
[3] Srinivas Devadas,et al. On The Verification of Sequential Machines at Differing Levels of Abstraction , 1987, 24th ACM/IEEE Design Automation Conference.
[4] Arun Kumar Misra,et al. Optimization of the Quine-McCluskey Method for the Minimization of the Boolean Expressions , 2008, Fourth International Conference on Autonomic and Autonomous Systems (ICAS'08).
[5] Peter A. Beerel,et al. A Designer's Guide to Asynchronous VLSI: Syntax-directed translation , 2010 .
[6] John McAllister,et al. Valved dataflow for FPGA memory hierarchy synthesis , 2012, 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).
[7] Martin Henz,et al. A software engineering approach to constraint programming systems , 2002, Ninth Asia-Pacific Software Engineering Conference, 2002..