3 ms·
I did my bachelor's project on translation between functional HDLs that were also reversible, i.e. only describing total, bijective functions. The idea of func
by sshine 13y ago
I did my bachelor's project on translation between functional HDLs that were also reversible, i.e. only describing total, bijective functions. The idea of functional HDLs goes back to at least the 1970s, and the coolest language I found was 𝜇FP by Mary Sheeran. It was an algebraic VLSI design language where logical gates as combinators are the only language constructs.
- jberryman 13y agoThat sounds cool. I don't know anything about HDLs, but can you explain why you might want your functions to be bijective? What does that give you in hardware?
- pseudonom- 13y agoMaybe for reversible computing? [0] [0] https://en.wikipedia.org/wiki/Reversible_computing https://en.wikipedia.org/wiki/Reversible_computing
- sitkack 13y agoCool. Could you fill your post in with relevant links. I really dig this stuff. http://scholar.google.com/citations?user=zQ49M2sAAAAJ&hl=en http://scholar.google.com/citations?user=zQ49M2sAAAAJ&hl=en http://www.cs.ox.ac.uk/publications/publication3787-abstract.html http://www.cs.ox.ac.uk/publications/publication3787-abstract...
- sitkack 13y agoThis looks really interesting http://www.cs.ru.nl/P.Achten/IFL2013/symposium_proceedings_IFL2013/ifl2013_submission_7.pdf http://www.cs.ru.nl/P.Achten/IFL2013/symposium_proceedings_I...