Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

"Stochastic optimization," "equivalence checking..."

Assembler optimization is starting to sound like the ASIC tooling I've been reading about. That's exciting given what's been accomplished with that. :)



Can you recommend related reading in the ASIC tooling literature?


I'm not sure what your background is or how much you know about this stuff. Unlike software, almost every aspect of the tooling for hardware is Mega-HARD. Also, I collected a ton of shit on that this year in hopes academics or FOSS types will make OSS alternatives to Big Three. So, here's some intro and example links for you to go through to get an idea of processes and techniques involved. Only then, if you're still committed to learning, will I try to organize and send you some links on specific techniques for achieving them.

ASIC flow and EDA techniques intro http://cc.ee.ntu.edu.tw/~ywchang/Courses/PD/EDA_Chapter1.pdf

Another covering most flows http://www.csl.cornell.edu/courses/ece5745/handouts/ece5745-...

Modern example of a Standard Cell flow http://www.cs.berkeley.edu/~yunsup/papers/riscv-esscirc2014....

A flow that's a lot closer to the metal with some custom work http://lejpt.academicdirect.org/A19/133_143.pdf

Note: I was going to post a custom flow w/ example of MIPS processor but damned thing is totally gone from Google and DuckDuckGo. And my filesharing service is down lol. Put an email address, public or disposable, in your profile then I'll send it to you manually. Or just email the address in my profile with your HN name in subject or body. It's too good to pass up. Do read the two intro's first so you appreciate the work that level requires.


I've finished reading the links. The first one was great. Thanks, I learnt something. It's not my field, but I'm vaguely familiar with the workflow, having friends who design ASICs, work at Xilinx, etc. I've encountered some algorithms in advanced compiler texts.

But what I was specifically curious about was applications of stochastic optimization to EDA workflow. It sounded like you'd seen papers on that topic.

My interest is purely in applications of stochastic optimization. I'm not about to jump into EDA.


Ok, now that I know your focus, I basically just used my fast googling technique and searched through recent archives to see if anything popped up. Here's various things in hardware, software, and architecture benefiting from SO to learn from or improve on in your own work.

Really detailed write-up of how cells can be modeled and transformed with stochastic tie in http://www.eecs.berkeley.edu/~keutzer/classes/244fa2004/pdf/...

Parallel, stochastic, FGPA placement with great speedup http://www.eecg.utoronto.ca/~vaughn/papers/fccm2014_parallel...

Multi-optimization scheme for nanometer https://repositories.lib.utexas.edu/handle/2152/3688

Note: This does not do stochastic I don't think but a number of other methods. It's significant because it specifically mentions modern, typically large, designs avoid stochastic optimization for global issues because it's cost-prohibitive compared to geometric methods. That might have significant implications outside EDA, too. Might only be good for local optimizations that are tied together some other way.

Synthesis and control of system design for industrial project (software) http://www.scielo.org.ar/pdf/laar/v40n2/v40n2a07.pdf

RTL verification by minimizing multiway decision graphs (2006) http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=D9E...

Use in clock-tree synthesis for multi-FPGA's with focus on thermal properties http://thescipub.com/PDF/ajassp.2013.1604.1615.pdf

Synthesis of high-performance analog circuits (1996) https://users.ece.cmu.edu/~rutenbar/pdf/rutenbar-aotcad96.pd...

System levle hardware and software partitioning with simulated annealing and tabu search http://www.gstitt.ece.ufl.edu/courses/fall08/eel4930_5934/re...

Simulated annealing for aiding genetic algorithms in software architecture synthesis http://www.sis.uta.fi/~tp54752/pub/sa/SA_aiding_GA_acta.pdf

Synthesize implementations of hard real-time stuff http://link.springer.com/article/10.1007/BF00872288?no-acces...

Humie awards from Genetic Programming. Most of these could probably be ported to Stochastic Optimization in general. http://www.genetic-programming.org/combined.html

Accelerate floating point problems https://web.stanford.edu/~sharmar/pubs/fp.pdf

Stochastic super-optimization of loop-free binaries https://web.stanford.edu/~sharmar/pubs/asplos291-schkufza.pd...

Note: I'm keeping that one for sure. :)




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: