Ping-Lin Yang, Malgorzata Marek-Sadowska. A fast, fully verifiable, and hardware predictable ASIC design methodology. In 34th IEEE International Conference on Computer Design, ICCD 2016, Scottsdale, AZ, USA, October 2-5, 2016. pages 364-367, IEEE Computer Society, 2016. [doi]
Abstract is missing.