Alright. According to my analysis SERV uses 1456 gates (+ one 4x288 bits of RAM. Unfortunately I have no idea whatsoever if this is the correct way to do a gate count.
-
Show this thread
-
Oh wait, you're supposed to include the FFs in a gate count so that would make it 1735 gates.... according to...some method of calculating this number
2 replies 0 retweets 1 likeShow this thread -
Replying to @OlofKindgren
My colleagues don't count one FF as a single gate. I think they say that a flip-flop is N gate equivalents, where N depends on the technology.
1 reply 0 retweets 0 likes -
Replying to @TudorTimi
Perhaps it's a combination of a flip gate and a flop gate? :) But yeah, I think the correct way is to first get the area and then divide by the mean cell size. Haven't figured out how to get there yet though
2 replies 0 retweets 1 like -
Replying to @OlofKindgren @TudorTimi
afaik most DFFs these days are two D-latches in series, one enabled by clk and the other by !clk. So "combination of a flip gate and a flop gate" isn't far off :P
3 replies 0 retweets 3 likes -
Yosys uses the following "transistor count" costs for combinational gates when you do `stat -tech cmos`: https://github.com/YosysHQ/yosys/blob/master/kernel/cost.h#L53-L68 … and counts a DFF as 16 transistors
1 reply 0 retweets 2 likes -
Replying to @fpga_dave @TudorTimi
Hmm.. I've been typing random yosys command all morning but hadn't seen that. Doesn't work for me though. Maybe need a newer yosys version
1 reply 0 retweets 0 likes -
"stat -tech cmos" is pretty new, and I merged changes related to it just a few hours ago. So it's not unlikely that you'll need to update Yosys. Note that some of the gate costs (mux, xor) are conservative. More efficient implementations using pass transistors exist.
1 reply 0 retweets 0 likes -
Cool, so newbie question here. Am I supposed to run synth first? And then abc -g something? Can it do a gate count on my RF SRAM or should I handle that separately?
1 reply 0 retweets 0 likes
Yes, run "synth" first, then "abc -g cmos". See here for a usage example: https://github.com/riscv/riscv-bitmanip/blob/master/verilog/rvb_clmul/synth.py … As I'm not familiar with the details of your flow I'm assuming that RAM is just a black box for Yosys in your case. In this case you'd have to handle it separately.
-
-
Cool. Thanks. 10660 transistors excluding RF. Hitting an assertion in abc with -flatten in the synth command. File a bug?
1 reply 0 retweets 1 like -
Please do. Make sure to include everything needed to reproduce the issue.
1 reply 0 retweets 1 like - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.