search

chipsalliance / Cores-VeeR-EH2

Apache License 2.0
209 stars 56 forks source link

Can't execute "coredecode -in decode > coredecode.e" #22

Open Jeremy-Jia opened 2 years ago

Jeremy-Jia commented 2 years ago

// file "decode" is human readable file that has all of the instruction decodes defined and is part of git repo // modify this file as needed

// to generate all the equations below from "decode" except legal equation:

// 1) coredecode -in decode > coredecode.e

// 2) espresso -Dso -oeqntott coredecode.e | addassign -pre out. > equations

I just read the annotation, but the "coredecode -in decode > coredecode.e" is a commandLIne or something? I cant execute it, should i install some packages for serving these? thank.

vignajeth commented 2 years ago

Hi The coredecode is a perl script and you can find it here https://github.com/chipsalliance/Cores-SweRV-EH2/blob/master/tools/coredecode I haven't used it by myself though

Jeremy-Jia commented 2 years ago

Thanks That does work!

zeeshanrafique23 commented 2 years ago

From where I can find the espresso tool?

olofk commented 2 years ago

Hi @zeeshanrafique23 . You can find the espresso source here https://ptolemy.berkeley.edu/projects/embedded/pubs/downloads/espresso/index.htm Last release was in 1988 and there exists some modern reimplementations on GitHub and as Debian packages too

zeeshanrafique23 commented 2 years ago

Hi @olofk I tried this earlier but it was throwing some errors during make. I tried this repo also https://github.com/classabbyamp/espresso-logic but when I make it create the object files of C files, I not sure how to use it further. I want the executable which I can run directly as a command.

vignajeth commented 2 years ago

Hi @zeeshanrafique23 I remember using the link shared by olof for espresso but if you face some errors try using the executable directly from this link http://users.ece.utexas.edu/~patt/06s.382N/tutorial/espresso_manual.html change the espresso.linux file to espresso and make it executable by using chmod command

zeeshanrafique23 commented 2 years ago

Great, thanks @vignajeth it's working. Getting another error while running the espresso command, which does make sense but how to get rid out of it?

$ espresso -Dso -oeqntott coredecode.e | addassign -pre out.  > equations
 addassign: command not found
vignajeth commented 2 years ago

The addassign is a perl script and you can find it under tools folder

zeeshanrafique23 commented 2 years ago

Ahh got it many thanks.