Puneet Goel @coverification
Co-Founder @coverify Developer @EmbeddedUVM coverify.com India Joined January 2010-
Tweets195
-
Followers163
-
Following150
-
Likes196
One side did everything to blame 26/11 on RSS. The other side did everything to bring its real mastermind to India to punish. Tell me which one is Anti-India?
❗Throwback — PM Modi BOLDLY called out the release of Tahawwur Rana. 2011: US court freed 26/11 plotter. 2025: The same system approved his EXTRADITION 🔥 — What changed? India’s leadership - PM Modi. 💪
The second test file, exe2.c, now compiles and runs with the dmd #AArch64 compiler code generator. The bugs are a little sparser now.
Have been facing this issue with many things for many years now - in some areas (like toys) there is some improvement over the last few years, but anything with some electronics in it (like the record-and-sing back or talking ones etc) is still heavily Chinese
I went to buy pencil box in a local stationary shop today. I was shocked to see that Chinese boxes have replaced most of the Indian Make boxes. The shopkeeper said that kids don’t like basic design boxes. These boxes are not selling cheap anymore. By saving a few lacs by not
Agniveer – A Calling Beyond a Career! 🇮🇳 Joining the Indian Army as an Agniveer is not just about a job—it’s about honor, discipline, and service to the nation. Through the Agnipath Scheme, you serve the nation and embark on a journey that empowers you with: ✅ World-class training ✅ Leadership & teamwork skills that last a lifetime ✅ A chance to serve & protect the nation ✅ Financial security & career opportunities for a bright future The Agniveer program is your gateway to adventure, pride, and national service. If you have the passion to serve, the courage to lead, and the discipline to grow, this is your time! Learn more: joinindianarmy.nic.in Last Date to Register: 10th April 2025 #IndianArmy #Agniveer #JoinIndianArmy
“It's important to avoid over-claiming about how much [formal verification] could solve our problems.” @dodds_zac explains why we need to balance verification methods with practical safety work.
AXI over Ethernet to build large FPGA clusters drive.google.com/file/d/17AIyGf…
Best real world takedown of a protester I have ever seen. And it's not even close
@kaseyklimes Uninitialized variable Returning pointer to the stack Are the usual suspects
Finally got move constructors implemented and folded in to #dlang. The tricky part was not breaking existing code, despite the syntax of a move constructor being the same as that of a copy constructor. Thanks to Timon Gehr and Manu Evans for their invaluable help! Look for it in the next release.
"PSMC announced that it has received the initial payment from Tata Group for its fab IP business in India" Basically the license/ToT fee.. hopefully for 28nm etc digitimes.com/news/a20241101…
In 1974, Steve Jobs came to India in search for enlightenment. 7 months later, he returned with a philosophy that would later build Apple into a $1 trillion empire. Here’s the philosophy: 🧵
The "Indian" that the Lutyens ecosystem didn't want anywhere near the White House! Usha Bala Chilukuri Vance.
Tessolve to buy German chip designer for Rs 400 crore - The Economic Times m.economictimes.com/tech/technolog… via @GoogleNews
A big boost to making education more accessible. The Cabinet has approved the PM-Vidyalaxmi scheme to support youngsters with quality education. It is a significant step towards empowering the Yuva Shakti and building a brighter future for our nation. pib.gov.in/PressReleasePa…
Today’s Cabinet decision on the infusion of equity of Rs. 10,700 crore in the Food Corporation of India will enhance its capacity to manage food procurement and distribution efficiently. It will also ensure better support for farmers and contribute to national food security. pib.gov.in/PressReleasePa…
Had a great conversation with my friend, President @realDonaldTrump, congratulating him on his spectacular victory. Looking forward to working closely together once again to further strengthen India-US relations across technology, defence, energy, space and several other sectors.
@awesomekling @ladybirdbrowser @SwiftLang Try the #dlang D programming language! Best metaprogramming of all the languages.
So…Google has explained, to Congress, why searches involving Trump have been suppressed lately. It was … a bug. Because, you know, software has bugs, right? I mean — you can’t expect software to not have bugs, that’s unreasonable. Bugs are just a normal characteristic of all software, right? So don’t worry, we’ll fix it in the next release. So now we understand that there are people who put a high value on bugs. Those people are… lawyers. Every time that we, programmers, tell the world that bugs are inevitable, the lawyers who defend corrupt practices smile.
kiran @kirankumar29s22
0 Followers 1 Following
Joanna @Mbn91HhjJhvm5
177 Followers 6K Following
Rodrigo Alexandre @Ale8290807
31 Followers 636 Following
xhovping vasse @fai41097
85 Followers 646 Following Medico 👨🏻⚕️ MBBS Against Reservation (No) Against Excess Reservation (Yes)
Jonathan Nesbitt @JLNesbitt
335 Followers 3K Following Processing System Architect: SoC of yr: XILINX MPSoC EE8, Freescale MCU,DSP. Electronic/Computer/eMed/SW/Control/Net, Wearable,IOT,Algotrade. In iPod, AI Organs
Anoushka Tripathi @1Tripathias
9 Followers 83 Following Hardware Intern @VLSI SYSTEM DESIGN|RISC V|Final year|VLSI Engineer|Bhāratīya
Anoushka Tripathi @anony121122
9 Followers 70 Following
Jacob Vlsi @JacobVlsi60257
3 Followers 117 Following
Brian @ Rock Valley T... @rockvalleytech
1K Followers 3K Following Cloud Infrastructure & Automation | Systems that just work—for tech teams and small businesses. Led by @bpietravalle
blurred @blurred433056
94 Followers 5K Following
pamper @pamper757553
77 Followers 3K Following
Nitai Paitya @PaityaNitai
270 Followers 5K Following Professor, Amity Institute of Information Technology, Amity University Kolkata
mr.y @mryalamanchi
5K Followers 582 Following @videovaulttech | deep tech explained @709lab | ex co-founder @noctolabs
Kun Anjalideep @Kun_Anjalideep
42 Followers 152 Following
Girish @Girish__3
19 Followers 961 Following
SEMI Americas @SEMIAmericas
4K Followers 5K Following Connects microelectronics professionals to advance the technology & business of electronics design & manufacturing. #SEMICONWest #SEMI_MSTC #SEMI_SMC
arun mampazhy @nano_arun
7K Followers 616 Following Whatever I can do for commercial semiconductor (esp Silicon based) chip fabs to takeoff & flourish in India. nanoarun(at)gmail; link below 4 some media contrbtn
𝙿𝚛𝚊𝚝𝚑�... @thefossguy
192 Followers 1K Following segfauts everywhere | अहिंसा परमो धर्मः धर्म हिंसा तथैव च | @[email protected]
Girish G @GirishG80013672
1 Followers 43 Following
Sparsh Gupta @guptasparsh
91 Followers 356 Following
ARJUN @arjunpartha99
244 Followers 1K Following Proud cirizen of a great nation & passionate chip design engineer
Rock Punk @UUU686868
343 Followers 2K Following
Anoop Saha @asyncanoop
723 Followers 3K Following AI Infra @awscloud · Silicon, Scaling, and Economics of Compute · Notes from depth of 100k node GPU clusters, RL optimization & inference scaling · Views my own
Vimal Manivannan @vimalyohen
302 Followers 5K Following Verification Engineer #semicon-professional.
hi im alex @alexeimakes
413 Followers 2K Following
Harpreet Bhatia @etchbhatia
35 Followers 214 Following Day Job: ASIC Verification | Love UI Design/ Typography
Pulsic @Pulsic
360 Followers 833 Following Precision Design Automation and revolutionary automated Analog layout systems. Now part of Cadence.
Muzaffer Kal @🏡 �... @MuzafferKal_
2K Followers 8K Following Chips: ASIC, FPGA. CV/ML. Duck pictures by the lake. Some bread making. https://t.co/bqpeM1Ei6T
Ameya Vikram Singh @AmeyaVS
17 Followers 291 Following
Priyanshu Mishra @Priyans57411485
1K Followers 5K Following SoC Verification | Processor Micro-architecture | AI/ML in Chip Design | Research
Prashantkumar Ravindr... @prshnt_kumar
36 Followers 242 Following
asicdv @asicdv
88 Followers 120 Following I am passionate about Design Verification. Always chasing 🕷
Shashwat Purushottam @Ash_what7
172 Followers 2K Following Scaling software reach. Ideating - part of day where I look to the stars, rest of the day - learning to keep to the ground. Technology, impact, politics, Swaraj
Alejandro Moreno @Alejand67743237
79 Followers 410 Following
hossein mokarian @MokarianHosein
52 Followers 757 Following
ESD Alliance @ESDAlliance
2K Followers 939 Following The Electronic System Design Alliance is an international association of companies providing goods and services throughout the semiconductor design ecosystem.
Gaurang Pandey @Pandey_G13
33 Followers 184 Following Physics | Astronomy | Cricket | Piano | VLSI Engineering
LMCH @lmchtw
74 Followers 4K Following
Breker Systems @BrekerSystems
978 Followers 353 Following The SoC Verification Company: Providing Test Suite Synthesis By Leveraging Portable Stimulus. Get Started With Your Verification GPS.
avinashmanchala @avinashmanchala
1 Followers 144 Following
Millennium Software D... @llc_millennium
55 Followers 262 Following Bringing Low Cost, Flexibility, and Freedom to EDA
Prakash Dadlani @prakdadlani
39K Followers 4K Following Electronic appliance manufacturer in Bharat with over 3 decades of OEM/ODM/Import/Export experience. Trusted by 30+ global brands. DM to work with us 🇮🇳💪🏾
Jonathan Nesbitt @JLNesbitt
335 Followers 3K Following Processing System Architect: SoC of yr: XILINX MPSoC EE8, Freescale MCU,DSP. Electronic/Computer/eMed/SW/Control/Net, Wearable,IOT,Algotrade. In iPod, AI Organs
Brian @ Rock Valley T... @rockvalleytech
1K Followers 3K Following Cloud Infrastructure & Automation | Systems that just work—for tech teams and small businesses. Led by @bpietravalle
Nitai Paitya @PaityaNitai
270 Followers 5K Following Professor, Amity Institute of Information Technology, Amity University Kolkata
Agnisys Inc. @Agnisys
738 Followers 652 Following Agnisys, Inc. is a leading supplier of Electronic Design Automation (EDA) software for solving complex design and verification problems in system development.
Rahul Gala @_rahulgala_
55 Followers 235 Following ASIC/SoC/FPGA Design & Verification Engineer | Computer Architecture & AI Enthusiast | Co-Founded Z Series Innovations(https://t.co/Ghta49KSNA)
Deedy @deedydas
253K Followers 6K Following Partner at @MenloVentures. Investor: Anthropic, OpenRouter, Modal, Wispr, Pangram, Inception, Goodfire, PrimeIntellect prior: Glean, Google Search. Cornell CS.
ESD Alliance @ESDAlliance
2K Followers 939 Following The Electronic System Design Alliance is an international association of companies providing goods and services throughout the semiconductor design ecosystem.
Karan S @KaranSaravanan
7 Followers 60 Following CPU Verification Engineer at InCore Semiconductors @incoresemi LinkedIn Profile: https://t.co/0whojxdZSI…
mr.y @mryalamanchi
5K Followers 582 Following @videovaulttech | deep tech explained @709lab | ex co-founder @noctolabs
Kun Anjalideep @Kun_Anjalideep
42 Followers 152 Following
Björkus 'No time_t t... @__phantomderp
13K Followers 2K Following The C Standard Cannot Be Replaced And Will Never Be Destroyed. ➡ https://t.co/IWEB4XZpve | Avatar @KIINGKIISMET | Banner @Reckless_Moss
SEMI Americas @SEMIAmericas
4K Followers 5K Following Connects microelectronics professionals to advance the technology & business of electronics design & manufacturing. #SEMICONWest #SEMI_MSTC #SEMI_SMC
Serpent OS @Serpent_OS
3K Followers 119 Following Official Twitter account for #SerpentOS https://t.co/iNBt52skwD
VEGA Processors @VegaProcessor
687 Followers 18 Following Official Twitter handle of VEGA Microprocessors, India’s first Indigenous 64-bit, Superscalar, Out-of-Order, Multi-core RISC-V Processor developed by C-DAC.
arun mampazhy @nano_arun
7K Followers 616 Following Whatever I can do for commercial semiconductor (esp Silicon based) chip fabs to takeoff & flourish in India. nanoarun(at)gmail; link below 4 some media contrbtn
𝙿𝚛𝚊𝚝𝚑�... @thefossguy
192 Followers 1K Following segfauts everywhere | अहिंसा परमो धर्मः धर्म हिंसा तथैव च | @[email protected]
Sparsh Gupta @guptasparsh
91 Followers 356 Following
DVCon Europe @DVConEurope
858 Followers 30 Following Design and Verification Conference & Exhibition Europe, Sponsored by Accellera Systems Initiative.
OpenHW Foundation @OpenHWFdn
5K Followers 185 Following A non-profit, global organisation where hardware and software designers collaborate in the development of open source cores, related IP, tools and software.
Bryan Murdock @bdmurdock
311 Followers 391 Following Computer Engineer, husband, father of 4 boys, love the outdoors. https://t.co/NhHGBMhN6C https://t.co/pDknp0BzUT
PULP Platform @pulp_platform
7K Followers 1K Following A joint effort of @ETH_en, University of Bologna @Unibo + partners for Parallel Ultra-Low Power computing. Boldly designing open hardware since '13.
Millennium Software D... @llc_millennium
55 Followers 262 Following Bringing Low Cost, Flexibility, and Freedom to EDA
Breker Systems @BrekerSystems
978 Followers 353 Following The SoC Verification Company: Providing Test Suite Synthesis By Leveraging Portable Stimulus. Get Started With Your Verification GPS.
Peter Monsson @SVAssertions
274 Followers 103 Following Debug tips | https://t.co/T49Qya6X7h | Independent ASIC design and verification Consultant
Euripedes @rochaeuripedes
287 Followers 663 Following Embedded systems engineer, VHDL developer, tech enthusiast
Steven Armour @ArmourMSG
194 Followers 937 Following When I grow up I want to be chief engineer Geordi La Forge of the USS Enterprise D&E
Ahmed F 🇧🇩🇬�... @AhmedFRahim1
92 Followers 641 Following CPU Verification @IBM | Formerly @AMD, @ARM, @ImaginationTech | @unisouthampton ‘2012, @UniversityLeeds ‘2009 | Him/His | Mastodon: @[email protected]
Joe Hupcey III @jhupcey
690 Followers 465 Following Product Marketing & Management at Mentor Graphics; Softball player; Photographer; Harley Rider; PP-ASEL; Proud papa
Symbiotic EDA @symbiotic_eda
2K Followers 18 Following smart EDA empowerment, Yosys SymbiYosys Formal Methods Risc-V FPGA Verilog
Dave Rich @dave_59
2K Followers 237 Following Verification Technologist, Verilog/SystemVerilog, Father of Four Boys, Husband of one Wife
Gaurav Jalan @gjalan
162 Followers 74 Following
Zip CPU @zipcpu
9K Followers 235 Following FPGA design engineer and blogger, placing particular emphasis on test and formal verification
Google Open Source @GoogleOSS
82K Followers 145 Following Announcing new open source releases, exploring projects, sharing how we approach FOSS, and supporting communities around the world.
🇺🇦 Andrei Alexa... @incomputable
15K Followers 442 Following Please refer to my website for bio and contact information.
Ted Marena "Trust Ted... @teodoroj
1K Followers 123 Following Auto, technology & marketing enthusiast. https://t.co/l6xWjP0ea6 Chief Product Officer for Tesla Owners of Silicon Valley
Bartosz Milewski @BartoszMilewski
37K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
CHIPSAlliance @CHIPSAlliance
6K Followers 88 Following CHIPS (Common Hardware for Interfaces, Processors and Systems) Alliance harnesses the energy of open source collaboration to accelerate hardware development.
WalterBright @WalterBright
8K Followers 67 Following Engineer Digital Mars, D Language Foundation C, C++, D programming language compilers, and Javascript compiler
wallento @wallento
528 Followers 65 Following Professor at https://t.co/Be6kXusmnP, Open Source Silicon enthusiast, Director @FOSSiFoundation, Board of Directors @risc_v
You might like
