#VLSID2024 - giving my #keynote on "#PolynomialFormalVerification for Ensuring Processor Correctness" vlsid.org/confernce-de...
@dsc-ub.bsky.social #verification #PolyVer

#VLSID2024 - presentation of our paper on "Input Distribution Aware Library of Approximate Adders Based on Memristor-Aided Logic"
vlsid.org/confernce-de... @dsc-ub.bsky.social #LogicInMemory #approximate

#VLSID2024 - presentation of our paper on "A Dynamic Programming Based Graph Traversal Approach for Efficient Implementation of Nearest Neighbor Architecture in 2D" vlsid.org/confernce-de...

#VLSID2024 - Inauguration Ceremony

#VLSID2024 - many thanks to all the participants of our tutorial on "Design Methods and Tools for Future-Generation Computer Architectures" for the intersting discussions vlsid.org/tutorial-sch...

#VLSID2024 - tomorrow we will present our #tutorial on "Design Methods and Tools for Future-Generation Computer Architectures" starting at 2pm vlsid.org/tutorial-sch...