- 10
- 97 120
Nursultan Kabylkas
เข้าร่วมเมื่อ 3 มี.ค. 2009
How to verify a microprocessor?
This is the presentation of microprocessor verification tool Dromajo. In a broader sense, you will understand the technique Dromajo implements, which is the state of the art verification technique for microprocessors.
This is a clip from a longer talk that I gave on MICRO-54, where I also explain novel verification technique Logic Fuzzer. Here is the full talk: th-cam.com/video/Mon_TmVlUCc/w-d-xo.html
You can also read our paper here: dl.acm.org/doi/abs/10.1145/3466752.3480092
If you are planning to use Dromajo in a published work, please cite:
@inproceedings{10.1145/3466752.3480092,
author = {Kabylkas, Nursultan and Thorn, Tommy and Srinath, Shreesha and Xekalakis, Polychronis and Renau, Jose},
title = {Effective Processor Verification with Logic Fuzzer Enhanced Co-Simulation},
year = {2021},
isbn = {9781450385572},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {doi.org/10.1145/3466752.3480092},
doi = {10.1145/3466752.3480092},
booktitle = {MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture},
pages = {667-678},
numpages = {12},
keywords = {RISC-V, co-simulation, enhanced simulation, microprocessor verification},
location = {Virtual Event, Greece},
series = {MICRO '21}
}
Feel free to ask any question in the comments.
This is a clip from a longer talk that I gave on MICRO-54, where I also explain novel verification technique Logic Fuzzer. Here is the full talk: th-cam.com/video/Mon_TmVlUCc/w-d-xo.html
You can also read our paper here: dl.acm.org/doi/abs/10.1145/3466752.3480092
If you are planning to use Dromajo in a published work, please cite:
@inproceedings{10.1145/3466752.3480092,
author = {Kabylkas, Nursultan and Thorn, Tommy and Srinath, Shreesha and Xekalakis, Polychronis and Renau, Jose},
title = {Effective Processor Verification with Logic Fuzzer Enhanced Co-Simulation},
year = {2021},
isbn = {9781450385572},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {doi.org/10.1145/3466752.3480092},
doi = {10.1145/3466752.3480092},
booktitle = {MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture},
pages = {667-678},
numpages = {12},
keywords = {RISC-V, co-simulation, enhanced simulation, microprocessor verification},
location = {Virtual Event, Greece},
series = {MICRO '21}
}
Feel free to ask any question in the comments.
มุมมอง: 200
วีดีโอ
Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation, IEEE MICRO 2021
มุมมอง 2483 ปีที่แล้ว
Find more details in the paper: dl.acm.org/doi/10.1145/3466752.3480092 Please feel free to ask questions in comments. For faster response message me on Instagram: kabylkas If you are planning to use Dromajo or Logic Fuzzer in a published work, please cite: @inproceedings{10.1145/3466752.3480092, author = {Kabylkas, Nursultan and Thorn, Tommy and Srinath, Shreesha and Xekalakis, P...
Running graphical Linux applications on Windows 10 using WSL
มุมมอง 2.3K3 ปีที่แล้ว
Running graphical Linux applications on Windows 10 using WSL
Ngspice Tutorial: Extracting spice from Magic VLSI and running analog simulation
มุมมอง 5K3 ปีที่แล้ว
This is the continuation of the Magic VLSI tutorial where we design simple CMOS inverter. In this tutorial, we will extract spice netlist from the Magic and go over steps that needs to be done to perform analog simulation with Ngspice. Spice model: kabylkas.github.io/files/ami05.txt Shoot me a direct message in Instagram if you have any questions, for faster response. Make sure to follow so I c...
Magic VLSI Tutorial (part 2), Laying out CMOS inverter
มุมมอง 7K3 ปีที่แล้ว
This is step-by-step tutorial on how to layout simple CMOS inverter in Magic VLSI. Shoot me a direct message in Instagram if you have any questions, for faster response. Make sure to follow so I can see your direct message: kabylkas
Magic VLSI Tutorial (part 1), Installation and Technology Files
มุมมอง 13K3 ปีที่แล้ว
Step by step tutorial on how to install Magic VLSI tool and install technology files. We are also having a discussion on what is scalable design and what are the technology files. Shoot me a direct message in Instagram if you have any questions, for faster response. Make sure to follow so I can see your direct message: kabylkas
Running graphical Linux applications on Windows 10 using the Windows Subsystem for Linux
มุมมอง 1.7K3 ปีที่แล้ว
This is detailed tutorial on how to run graphical Linux applications on Windows 10 using the Windows Subsystem for Linux. Shoot me a direct message in Instagram if you have any questions, for a faster response. Make sure to follow so I can see your direct message: kabylkas
Mahambet's Zhumyr-Qylysh in the woods of Santa Cruz, CA
มุมมอง 1273 ปีที่แล้ว
Follow me on instagram: kabylkas Most of you voted for Zhumyr-Qylysh. I feel your preference as this kui is one of my favorites. The history of this composition is not clear, but what is known for sure is that Zhumyr and Qylysh are the names of Kazakh warriors (batyr) who lived at the same time period as Mahambet. He must have dedicated this kui for them. Enjoy, comment and share! 🤗
Smart Cane: electronic cane for visually impaired
มุมมอง 28411 ปีที่แล้ว
Smart Cane Project. This was the senior project of Embedded System Design class. The prototype has been successfully completed and presented on Imagine RIT festival. Shoot me a direct message in Instagram if you have any questions, for faster response. Make sure to follow so I can see your direct message: kabylkas
Dombyra and Guitar (OST Pulp Fiction)
มุมมอง 66K12 ปีที่แล้ว
Combination of Dombra and Guitar by Daniyar and Nursultan
What is Techmgr and how to download and install it in linux?
It is a very nice work, congratulations! I'm using it in my MsC degree. Would you please share the presentation PDF with us?
is opencircuitdesign website down?
The best Tutorial of Magic! finally I have found this! Congratulations! Subscribed already.
Does anyone know how to convert lambda to micron? I'm using "style lambda=1.0(scna20_orb) cscale 1 lambda 100 step 100 sidehalo 0 "
That was awesome! The dombra sounds great! Of course the accompanying guitar sounds great too 🫶🏽
Thank you very much for your tutorial. How to install and upload technology file for xschem tool?
thank you, but i want lambda to be 1um in my design. which tech file should i choose?
Brilliant presentation Nur. Note, I think it's important to state that this depends on commit being in program order (which is true for most implementation).
Thanks, Tommy!
What an awesome series, this will be my go-to intro resource for MAGIC! Although, I'd warn new FOSSi people that the version of MAGIC VLSI in the Ubuntu APT repository is too old to work on opensource PDKs for the SKY130 or GF180MCU processes.
Thank you!
Very very nice reed and electronics skills my Turkic big brother ;) Keep up the good work!
Thank you very much!
serious problem. I do the same layout and I get some warnings about the OUT label (device missing 1 terminal; connecting remainder to node out), do you know what may be wrong?
Also great tutorial, you've helped me understand many things. Thank you.
Hi Nursultan, Thanks for the video. I have an odd difference w.r.t. your video. I am using the SCN3ME_SUM.30 tech file but when I run "extract all" and "ext2spice" in my spice file the transistors have AD=AS=0 PD=PS=0 instead of the correct dimensions. Do you know why this can possibly happen?
I get an error saying "No compatibility mode selected" when I run "ngspice filename"
Thanks for saving my life!
Thank you for a good explaining.
The video was very helpful. I have a basic doubt. Can we use LTSpice for simulation of post layout extracted netlist from magic layout tool.
From where did you download ami05.txt file? I need it for other um
This series was very helpful. Thanks! If you could show us how to make a nand and a flip flop, that'd be pretty cool...
5:38 - And if arrived at that page, how can i undo??
5:38 - what if i didn't register yet VIM?? Is it a necessary tool in the process of ubuntu??
Hello sir I like your videos can you make video on qflow in that how can we find layout diagram and for that ngspice.
Thank you! I will try to find some time to make a video on that :)
Thankyou
how to install in windows
Мыкты! Супер!
Rahmet! :)
I am a beginner. What is this ami05.txt file? Like we used technology scmos 2002a and microns/lambda=0.5 and to process AMIc5, But here we are using ami05, how to understand which file need to use?
Those are two separate files for two different tools. ami05.txt is for Ngspice. It contains different parameters to perform simulation. The other file is for Magic.
Did you already heard about Efables plataform before? Maybe you can make some videos about this
I have heard about it, but have never used it.
@@kabylkas this plataform uses a version of magic VLSI to make the layout.
Great 👍, please consider to do more videos about Free IC design tools
Thank you! Time has been quite a scares resource lately :) Once I have time, I will do this!
Hi Nursultan, thanks for your so organized tutorials. I have recommended it to my students as we are going to use Magic.
Oh wow! I am glad to hear this! Thank you!
Hello I am unable to download ubuntu...it shows you don't have any applicale devices linked to your Microsoft account . Pls help it
hi sir here in my system i used 180nm file but in which "paint nwc" is not working so please tell me solution of this I need it emergency for my submission
what is Xlaunch ??
It is a tool that starts an X11 server. WSL is only a terminal environment without a window manager, and XLaunch allows X11 clients like Magic VLSI create their window much like a native windows application does. I am currently using VcXsrv as an X11 server.
@@STRIKEcorperation thanks yaar Bty I'm using same things.
Thanks so much for this tutorial! Great explanation and easy to understand step by step!
Glad it was helpful!
i am having trouble while xeyes its giving an error Error: Can't open display: localhost0.0
Me too
it didnt work for me. when i tried to run xeyes it gave me Error: Can't open display: localhost:0.0
try repeating steps from 5:43 onward. Use :wq at the end to save changes
@@andreassuncao22 its not working
Thankyou for the tutorial
You’re welcome 😊
Great tutorial, Thankyou
Thankyou
I getting the below error after installing magic. application-specific initialization failed: couldn't connect to display "localhost:0.0" Error in startup script: couldn't connect to display "localhost:0.0" while executing "load /usr/lib/x86_64-linux-gnu/libtk8.6.so Tk" ("package ifneeded Tk 8.6.10" script) invoked from within "package require Tk $tcl_version" invoked from within "if {$tcl_version < 8.0} { return -code error "tkcon requires at least Tcl/Tk8" } else { # Prevent breaking on version 8.5.2 # package requ..." (file "/usr/lib/x86_64-linux-gnu/magic/tcl/tkcon.tcl" line 44) Please help
Did you get the fix?
i got the fix its like i spent a hour or so but here you go write this in the teminal export DISPLAY=:0 /usr/bin/magic and it should run or if not you gave to install TCL
Thankyou for making land in Layout CAD world, How to get nfet and pfet simulation results for sky130 to include in spice simulation?
I don't know from the top of my head. I will research and maybe make another video.
ТОПП
hai , it a very interesting video. Please give a video on how do we do in Mac OS
Thank you! I unfortunately don't have an access to a Mac at the moment. But from what I know people do similar thing with docker.
Man you should make more tutorials. I really appreciate them!
Thanks! I am glad it was useful!
Thanks for this tutorial, it has helped me to finish my studies, I hope there were more people who would help the community in this way
I hope so too! I am glad it helped!
Finally a non-Indian video about VLSI. Thanks
No problem :)
Being Indian, I agree with you :)
Is it possible to install in MACOS ?
I heard people do it with the docker somehow. I haven't tried. Another easy solution is to install virtual box.
You can also use macports. I've seen suggestions for homebrew but it was problematic for me.
Hey @UCjoFXqPJTDtSTxgp9xfxoZw, After completing the process I am still getting minimum (version 0.0) in technology manager in magic.
hmm... that's weird. Are you specifying the technology file with -T flag when opening magic?
Yes I did with same command as you did. But when I gave command to open current folder there was an error of permission denied. Than I used the command chmod u+x current. The current folder accessed but did not work.
i am getting the same issue, is there any update?
@@kabylkas yeah i also got the same issue
can this software be used to lie out billion of transistors?
what are you designing? a processor?
@@ahmedansari2786 yep, a processor with my own FPGA fabric for high performance computing
I have never tried loading designs that big, so I don't know if it will scale :) But I know that Fossi foundation uses Magic in their design flow to tape out a riscv processor, maybe you can find some info there.
@@kabylkas risc v? but afaik it is a single core, there shouldnt be more than 100k transistors in it
@@absolute___zero Well, risc v is just a specification. The implementation can vary from simple single core to a complex multi core. For example, people in Berkeley have BOOM core which is pretty beefy out-of-order core, which can be configure to be a multi core. But I have never thought about transistor count, so I don't know for sure.
you are using osu180nm tech file right?
Hi Ahmed, no I have been using 0.6um technology file, but I don't see any reasons you can just load different one. This is the lambda based design method so it should work just fine.
Nice skill Sir
Thank you, Sir :)
Did you try Skywater PDK in ltspice
No, I unfortunately have not tried it.