23 citations · 74 across the 16 of their papers we have counts for
3 papers · 1 filter
Class-Discriminative CNN Compression
Yuchen Liu, David Wentzlaff, S. Y. Kung
Compressing convolutional neural networks (CNNs) by pruning and distillation has received ever-increasing focus in the community. In particular, designing a class-discrimination ba…
Evolving Transferable Neural Pruning Functions
Yuchen Liu, S. Y. Kung, David Wentzlaff
Structural design of neural networks is crucial for the success of deep learning. While most prior works in evolutionary learning aim at directly searching the structure of a netwo…
AutoSVA: Democratizing Formal Verification of RTL Module Interactions
Marcelo Orenes-Vera, Aninda Manocha, David Wentzlaff +1
Modern SoC design relies on the ability to separately verify IP blocks relative to their own specifications. Formal verification (FV) using SystemVerilog Assertions (SVA) is an eff…