Using Lava to design and verify recursive and periodic sorters
暂无分享,去创建一个
[1] Tiziano Villa,et al. VIS: A System for Verification and Synthesis , 1996, CAV.
[2] Satnam Singh,et al. Formal Verification of FPGA Cores , 1999, Nord. J. Comput..
[3] Mary Sheeran,et al. A Tutorial on Stålmarck's Proof Procedure for Propositional Logic , 2000, Formal Methods Syst. Des..
[4] Mary Sheeran,et al. A Tutorial on Lava: A Hardware Description and Verification System , 2000 .
[5] Michael E. Saks,et al. The periodic balanced sorting network , 1989, JACM.
[6] Mary Sheeran,et al. Puzzling Permutations , 1996 .
[7] Kenneth E. Batcher,et al. Sorting networks and their applications , 1968, AFIPS Spring Joint Computing Conference.
[8] E. Rodney Canfield,et al. A sequential sorting network analogous to the batcher merge , 1991 .