2 citations · 3 across the 4 of their papers we have counts for
4 papers
Symbolic Techniques for Deep Learning: Challenges and Opportunities
Belinda Fang, Elaine Yang, Fei Xie
As the number of deep learning frameworks increase and certain ones gain popularity, it spurs the discussion of what methodologies are employed by these frameworks and the reasonin…
Hardware/Software Co-monitoring
Li Lei, Kai Cong, Zhenkun Yang +2
Hardware/Software (HW/SW) interfaces, mostly implemented as devices and device drivers, are pervasive in various computer systems. Nowadays HW/SW interfaces typically undergo inten…
OpenRISC System-on-Chip Design Emulation
Kai Cong, Li Lei, Zhenkun Yang +1
Recently the hardware emulation technique has emerged as a promising approach to accelerating hardware verification/debugging process. To fully evaluate the powerfulness of the emu…
Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis
Disha Puri, Sandip Ray, Kecheng Hao +1
Behavioral synthesis involves compiling an Electronic System-Level (ESL) design into its Register-Transfer Level (RTL) implementation. Loop pipelining is one of the most critical a…