Please note that the updated list is maintained at our IML Web site.
    An old sample of publications as of Spring 2007 is below.

Books

  1. K. Radecka and Z. Zilic, "Verification by Error Modeling: Using Testing Techniques for Hardware Verification" , Kluwer Academic Publishers, 2003.

Journal Papers

  1. Z. Zilic and K. Radecka, "Scaling and Better Approximating Quantum Fourier Transform by Higher Radices", IEEE Transactions on Computers (Special Issue on Nano-Systems and Computing), Vol. 56, No. 2, pp. 202-207, February 2007.
  2. K. Radecka and Z. Zilic, "Arithmetic Transforms for Compositions of Sequential and Imprecise Datapaths", IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems, pp. 1382-1391, July 2006.
  3. A. Chattopadhyay and Z. Zilic, "GALDS: A Complete Framework for Designing Multi-clock ASICs and SoCs", IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Vol. 13, No. 6, pp. 641-654, Jun. 2005.
  4. K. Radecka and Z. Zilic, "Design Verification by Test Vectors and Arithmetic Transform Universal Test Sets", IEEE Transactions on Computers , Vol. 53, No. 5, pp. 628-640, May 2004.
  5. S. McCracken, Z. Zilic and H. Chan, "Real Laboratories in Distance Education", Journal on Computing and Information Technology", Vol. 11, No. 1, pp. 67-76, Jun. 2003.
  6. Z. Zilic and Z. G. Vranesic. "A Deterministic Multivariate Polynomial Interpolation Algorithm for Small Finite Fields", IEEE Transactions on Computers ,Vol. 37, No. 2, pp. 1100-1105, Sep. 2002.
  7. M. Boule and Z. Zilic. "An FPGA Move Generator for the Game of Chess", Journal of International Computer Chess Association, ICGA Journal , Vol. 25, No. 2, pp. 85-96, Jun. 2002.
  8. Y. Danan and Z. Zilic. "A Highly Adaptive Network Processor for FPGAs", IEEE Computer Architecture Newsletter , pp. 64-71, Oct. 2001.
  9. Z. Zilic and Z. G. Vranesic. "Using Decision Diagrams to Design ULMs for FPGAs", IEEE Transactions on Computers, Vol. 47, No. 9, pp. 971-982, September 1998.
  10. Z. Zilic and Z. G. Vranesic. "Polynomial Interpolation Algorithms for Reed-Muller Transform for Incompletely Specified Functions", Journal of Multiple-Valued Logic. Vol. 2, pp. 217-243, Aug. 1997.
  11. Z. Zilic and Z. G. Vranesic. "A Multiple-Valued Reed-Muller Transform for Incompletely Specified Functions", IEEE Transactions on Computers, vol. 44, No. 8, pp. 1012-1020, August 1995.
  12. Z. Zilic, "Experiments with Data Compression Methods in Digital Image Compression", Automatika, vol. 31, No. 1-2, pp. 31-36, Jun. 1990.

Conference Papers

  1. S. Bourduas and Z. Zilic, "A Hybrid Ring/Mesh Interconnect for Network-on-Chip Using Hierarchical Rings for Global Routing", Proceedings of IEEE International Symposium on Networks-on-Chips, NOCS 2007 , May 2007.
  2. A. Chattopadhyay and Z. Zilic, "Reconfigurable Clock Distribution Circuitry", Proceedings of IEEE International Symposium on Circuits and Systems, ISCAS 2007, May 2007.
  3. H. Chan and Z. Zilic, "A Performance Driven Layout Compaction Optimization Algorithm for Analog Circuits", Proceedings of IEEE International Symposium on Circuits and Systems, ISCAS 2007, May 2007.
  4. M. Boule, J-S. Chenard and Z. Zilic, "Assertion Checkers in Verification, Silicon Debug and In-Field Diagnosis", Proceedings of International Symposium on Quality Electronic Design, ISQED 2007, Mar. 2007.
  5. Z. Zilic, K. Radecka and A. Kazamipur, "Reversible Technology Mapping from Non-reversible Specifications", Proceedings of ACM/IEEE Design Automation and Test in Europe, DATE'07, April. 2007.
  6. M. Boule and Z. Zilic, "Efficient Automata-Based Assertion-Checker Synthesis of SEREs for Hardware Emulation", Proceedings of the 12th ACM/IEEE Asia and South Pacific Design Automation Conference, ASP-DAC2007, Jan. 2007.
  7. Y. Pang, K. Radecka and Z. Zilic, "Algorithms for Compositions of Arithmetic Transforms and Their Extensions", Proceedings of IEEE International Conference on Electronics, Circuits and Systems, ICECS06, Dec. 2006.
  8. Y. Pang, K. Radecka and Z. Zilic, "Arithmetic Transforms of Imprecise Datapaths by Taylor Series Conversion", Proceedings of IEEE International Conference on Electronics, Circuits and Systems, ICECS06, Dec. 2006.
  9. M. Boule and Z. Zilic, Efficient Automata-Based Assertion-Checker Synthesis of PSL Properties, Proceedings of IEEE International High Level Design Validation and Test Workshop, HLDVT 2006 , Nov. 2006.
  10. S. Bourduas, J-S. Chenard and Z. Zilic, "A RTL-Level Analysis of a Hierarchical Ring Interconnect for Network-on-Chip Multi-Processors", Proceedings of International System-on-a-Chip Design Conference, ISOCC 2006 , Oct. 2006.
  11. Y. Fan, Y. Cai, L. Fang, A. Verma, W. Burchanowski, Z. Zilic and S. Kumar, "An Accelerated Jitter Tolerance Test Technique on ATE for 1.5 Gb/S and 3 GB/s Serial-ATA", Proceedings of IEEE International Test Conference, ITC 06, Oct. 2006.
  12. M. Boule, J-S. Chenard and Z. Zilic, "Adding Debug Enhancements to Assertion Checkers for Hardware Emulation and Silicon Debug", Proceedings of IEEE International Conference on Computer Design, ICCD 06, Oct. 2006.
  13. A. Chattopadhyay and Z. Zilic, "Reference-Based Clock Distribution Architectures", Proceedings of IEEE International Midwest Symposium on Circuits and Systems, Aug. 2006.
  14. R. Zhang, Z. Zilic and K. Radecka, "Structuring Measurements for Modeling and the Deployment of Industrial Wireless Networks", Proceedings of IEEE International Symposium on Industrial Electronics, ISIE '06, Jul. 2006.
  15. M. Prokic, J-S. Chenard, R. Zhang and Z. Zilic, "Low-Power Personal Area Network Application Development Platform", Proceedings of IEEE International Symposium on Industrial Electronics, ISIE '06, Jul. 2006.
  16. S. Bourduas, B. Kuo, Z. Zilic and N. Manjikian, "Modeling and Evaluation of an Energy-Efficient Hierarchical Ring Interconnect for System-on-Chip Multiprocessors", Proceedings of IEEE-NEWCAS Conference, Jun. 2006.
  17. A. Chureau, J-F. Boland, Y. Savaria, C. Thibeault and Z. Zilic, "Building Heterogeneous Functional Prototypes Using Articulated Interfaces", Proceedings of IEEE-NEWCAS Conference, Jun. 2006.
  18. R. Zhang, Z. Zilic and K. Radecka, "Energy-Efficient Software-Based Self-Test of Wireless Sensor Network Nodes", Proceedings of IEEE VLSI Test Symposium, VTS '06, Apr. 2006.
  19. M. Boule and Z. Zilic, "Incorporating Efficient Assertion Checkers into Hardware Emulation and Simulation", Proceedings of IEEE International Conference on Computer Design, ICCD 05, Oct. 2005.
  20. M. Prokic, J-S. Chenard, A. U. Khalid, R. Zhang and Z. Zilic, "IEEE 802.15.4 Wireless Conference Management System, Proceedings of IEEE International Midwest Symposium on Circuits and Systems, Aug. 2005.
  21. J-S. Chenard, C. Y. Chiu, Z. Zilic and M. Popovic, "Design Methodology for Wireless Nodes with Printed Antenna", Proceedings of ACM/IEEE Design Automation Conference, DAC 05, Jun. 2005.
  22. J-S. Chenard, A. U. Khalid, M. Prokic, R. Zhang, K-L. Lim, A. Chattopadhyay and Z. Zilic, "Expandable and Robust Laboratory for Microprocessor Systems", Proceedings of IEEE International Conference on Microelectronic Systems Education, MSE05, Jun. 2005. Honorary Mention
  23. H. Chan and Z. Zilic, "Modeling Layout Effects for Sensitivity-based Analog Circuits Optimization", Proceedings of International Symposium on Quality Electronic Design, ISQED 05 , Mar. 2005.
  24. J-F. Boland, C. Thibeault and Z. Zilic, "Using Matlab and Simulink in a SystemC Verification Environment", Proceedings of Design and Verification Conference, DVCon, Feb. 2005. Best Paper Award
  25. M. W. Chiang, Z. Zilic, J-S. Chenard and K. Radecka, "Architectures of Increased Availability Wireless Sensor Network Nodes", IEEE International Test Conference, ITC, Oct. 2004.
  26. A. U. Khalid, Z. Zilic and K. Radecka, "FPGA Emulation of Quantum Circuits", IEEE International Conference on Computer Design , Oct. 2004.
  27. J-F. Boland, C. Thibeault and Z. Zilic, "Efficient Multi-Abstraction Level Functional Verification Methodology for DSP Applications", Global Signal Processing Expo and Conference, GSPx, Oct. 2004.
  28. K. L. Lim and Z. Zilic, "A Novel Phase Detector for PAM-4 Clock Recovery in High Speed Serial Links", IEEE International System on Chip Conference Sep. 2004.
  29. Y. Fan and Z. Zilic, "A Novel Scheme of Implementing High Speed AWGN Communication Channel Emulators in FPGAs", IEEE International Symposium on Circuits and Systems, May 2004.
  30. S. McCracken and Z. Zilic, "Design for Testability of FPGA Blocks", Proceedings of IEEE International Symposium on Quality Electronic Design, Mar. 2004.
  31. Y. Fan, Z. Zilic and M-W. Chiang, "A Versatile High Speed Bit Error Rate Testing Scheme", Proceedings of IEEE International Symposium on Quality Electronic Design, Mar. 2004.
  32. H. Chan and Z. Zilic, "Estimating Phase-Locked Loop Jitter due to Substrate Coupling: A Cyclostationary Approach", Proceedings of IEEE International Symposium on Quality Electronic Design, Mar. 2004.
  33. M-W. Chiang and Z. Zilic, "Layered Approach to Designing Test System Interfaces, Proceedings of IEEE VLSI Test Symposium, Apr. 2003.
  34. A. Chattopadhyay and Z. Zilic, "A Globally Asynchronous Locally Dynamic System for ASICs and SoCs", Proceedings of ACM Great Lakes Symposium on VLSI, Apr. 2003.
  35. K. Radecka and Z. Zilic, "On Combinational Verification by Universal Test Set Simulation, SAT and BDDs", Proceedings of 6th IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems, Apr. 2003.
  36. Y. Fan and Z. Zilic, "Testing for Bit Error Rates in FPGAs", Proceedings of ACM International Symposium on Field Programmable Gate Arrays , Feb. 2003.
  37. K. Radecka and Z. Zilic, "Specifying and Verifying Imprecise Sequential Datapaths by Arithmetic Transforms", Digest of Technical Papers, IEEE/ACM International Conference on Computer-Aided Design , Nov. 2002.
  38. W. Zhu, Z. Zilic and R. Negulescu, "A Single-rail Handshake CDMA Correlator", Proceedings of IEEE International Conference on Electronic Circuits and Systems , Sep. 2002.
  39. A. Chattopadhyay and Z. Zilic, "High Speed Asynchronous Structures for Inter-clock Domain Communication", Proceedings of IEEE International Conference on Electronic Circuits and Systems , Sep. 2002.
  40. C. Cote and Z. Zilic, "Automated SystemC to VHDL Translation in Hardware/Software Codesign", Proceedings of IEEE International Conference on Electronic Circuits and Systems , Sep. 2002.
  41. H. H. Y. Chan and Z. Zilic, "Substrate Coupling Fault Testing in System-on-a-Chip Digital Circuits", invited presentation at Proceedings of IEEE International Midwest Symposium on Circuits and Systems, Tulsa, Aug. 2002.
  42. J. Radecki, Z. Zilic and K. Radecka, "Echo Cancellation in IP Networks", invited presentation at Proceedings of IEEE International Midwest Symposium on Circuits and Systems, Tulsa, Aug. 2002.
  43. M. Boule and Z. Zilic, "FPGA Move Generator for the Game of Chess", Proceedings of IEEE Custom Integrated Circuits Conference, May 2002.
  44. Z. Zilic and K. Radecka, "On Role of Super-fast Transforms in Speeding up Quantum Algorithms", Proceedings of IEEE International Symposium on Multiple Valued Logic, May 2002.
  45. B. Polianskikh and Z. Zilic, "Design and Implementation of Error Detection and Correction Circuitry for Multilevel Memory Protection", Proceedings of IEEE International Symposium on Multiple Valued Logic, May 2002.
  46. S. McCracken and Z. Zilic, "FPGA Test Time Reduction Through a Novel Interconnect Testing Scheme", Proceedings of ACM International Symposium on Field Programmable Gate Arrays , Feb. 2002.
  47. K. Radecka and Z. Zilic, "Identifying Redundant Wires for Synthesis and Verification", Proceedings of IEEE Asian Design Automation Conference, ASP-DAC , Bangalore, Jan. 2002.
  48. K. Radecka and Z. Zilic, "Identifying Redundant Gate Replacements in Verification by Error Modeling", Proceedings of IEEE International Test Conference, Oct. 2001.
  49. K. Radecka and Z. Zilic, "Arithmetic Transforms for Verification of Sequential Datapaths", Proceedings of IEEE International Conference on Computer Design, Sept. 2001.
  50. I. Brynjolfson and Z. Zilic, "Clock Managed System on a Chip", Proc. IEEE ASIC/SOC Conference, Sept. 2001.
  51. B. Polianskikh and Z. Zilic, "New Embedded Memory for Enhanced Yield, Performance and Power Consumption", Proc. IEEE International Conference on Electronic Circuits and Systems, Aug. 2001.
  52. H. Chan and Z. Zilic, "A Practical Substrate Modeling Algorithm with Active Guardband Macromodel for Mixed-Signal Substrate Coupling Verification", Proc. IEEE International Conference on Electronic Circuits and Systems, Aug. 2001.
  53. K. Radecka, Z. Zilic and K. Khordoc, "Combinational Verification by Simulation, SAT and BDDs", Proc. IEEE International Conference on Electronic Circuits and Systems, Aug. 2001.
  54. B. Polianskikh and Z. Zilic, "Induced Error-Correcting Code for 2bit-per-cell Multi-Level DRAM", Proc. IEEE Midwest Symposium on Circuits and Systems, Aug. 2001.
  55. H. Chan and Z. Zilic, "Substrate Coupled Noise Reduction and Active Noise Suppression Circuits for Mixed-Signal on a Chip Designs", Proc. IEEE International Midwest Symposium on Circuits and Systems, Aug. 2001. IEEE Myril B. Reed Best Paper Award
  56. K. Radecka and Z. Zilic, "Relating Arithmetic and Walsh Spectra for Verification by Error Modeling", Proc. 5th International Workshop on Applications of Reed-Muller Expansions in Circuit Design, Aug. 2001.
  57. K. Radecka, Z. Zilic and K. Khordoc, "Arithmetic Transform in Verification of Sequential Datapaths", Pres. Ph. D. Forum at Design Automation Conference, Jun. 2001.
  58. Z. Zilic, "Phase- and Delay-Locked Loops Clock Control in Digital Systems", On-line Symposium of Electrical Engineering, Boston, Massachussets, Jul. 2001.
  59. W. Zhu, R. Negulescu and Z. Zilic, "Using Design Patterns for Fast Hardware/Software Performance Estimation", Proc. IEEE International Conference on Telecommunications , Bucharest, Romania, Jun. 2001.
  60. I. Brynjolfson and Z. Zilic, "A New PLL Design for Clock Management Applications", Proc. Int. Symposium on Circuits and Systems , Sydney, Australia, May 2001.
  61. R. Grindley, T. Abdelrahman, S. Brown, S. Caranci, D. DeVries, B. Gamsa, A. Grbic, M. Gusat, R. Ho,  G. Lemieux. K. Loveless, N. Manjikian, P. McHardy, S. Srbljic, M. Stumm Z. Vranesic and Z. Zilic, "The NUMAchine Multiprocessor", Proc. Int. Conf. Parallel Processing, ICPP2000, Toronto, ON,  Aug. 2000.
  62. S. McCracken, Z. Zilic  and H. Chan, "Real Laboratories in Distance Education", Proc. Int. Conf. Adv. Infrastructure for Business, Science and Education on Internet, SSGRR2000, L'Aquilla, Italy,  Aug. 2000.
  63. I. Brynjolfson and Z. Zilic , "Low-Power Clock Management for FPGAs", Proc. Custom Integrated Circuits Conference, CICC 2000, Orlando,  FL,  May. 2000.
  64. K. Radecka and Z. Zilic, "Using Arithmetic Transform for Verification of Datapath Circuits via Error Modeling", Proc. VLSI Test Symposium, VTS 2000, Montreal, QC, May 2000.
  65. I. Brynjolfson and Z. Zilic , "FPGA Clock Management for Low-Power Applications", Proc. Int. Symposium on FPGAs, FPGA 2000, Monterrey,  CA,  Feb. 2000., poster.
  66.  Z. Zilic , "Alternatives in Teaching System-Building Skills", Proc. Int. Symposium on Microelectronics Systems Education, MSE99, Arlington, VA,  Aug. 1999.
  67. Z. Zilic and K. Radecka, "On Feasible Multivariate Polynomial Interpolations over Arbitrary Fields", Proc. International Symposium on Symbolic and Algebraic Computing, Vancouver, BC, Jul. 1999.
  68. A. Grbic, S. Brown, S. Caranci, R. Grindley, M. Gusat, G. Lemieux, K. Loveless, N. Manjikian, S. Srbljic, M. Stumm, Z. Vranesic and Z. Zilic, "Design and Implementation of the NUMAchine Multiprocessor," Proc. 35th IEEE Design Automation Conference, DAC98, San Francisco, Jun. 1998.
  69. Z. Zilic, Z. G. Vranesic and K. Radecka, "A Finite Field Polynomial Interpolation Algorithm", Ninth International Approximation Theory Conference, AT IX, Nashville, Tennessee, Jan. 1998.
  70. Z. Zilic, Z. G. Vranesic and K. Radecka, "A Small Finite Field Polynomial Interpolation Algorithm", Fourth International Conference on Finite Fields and Applications, Fq4, Waterloo, Ontario, Aug. 1997.
  71. S. Brown, N. Manjikian, Z. Vranesic, S. Caranci, A. Grbic, R. Grindley, M. Gusat, K. Loveless, Z. Zilic and S. Srbljic "Experience in Designing a Large-Scale Multiprocessor using Field-Programmable Devices and Advanced CAD Tools, in Proc. 33rd Design Automation Conference, DAC96, Las Vegas, Jun. 1996.
  72. Z. Zilic and Z. G. Vranesic, "Parallel Sparse Finite Field Polynomial Interpolation" Proc. Workshop on Randomized Parallel Computing, pp. 21-25, Honolulu, Apr. 1996.
  73. Z. Zilic and Z. G. Vranesic, "New Interpolation Algorithms for Reed-Muller Forms" , 26th International Symposium on Multiple-Valued Logic, Santiago De Campostela, Spain, May 1996.
  74. Z. Zilic and Z. G. Vranesic, Using BDDs to Design ULMs for FPGAs, Proceedings of the Fourth International Symposium on FPGAs, Monterey, February 1996. pp. 24-30. color slides
  75. Z. Zilic and Z. G. Vranesic, "Reed-Muller Forms for Incompletely Specified Functions via Sparse Polynomial Interpolation", Proceedings of the 25th International Symposium on Multiple-Valued Logic, Bloomington, Indiana, May 1995.
  76. T. Abdelrahman, S. Brown, T. Mowry, K. Sevcik, M. Stumm, Z. Vranesic, S. Zhou, A. Elkateeb, M. Gusat, P. Pereira, B. Gamsa, R. Grindley, O. Krieger, G. Lemieux, K. Loveless, N. Manjikian, G. Ravindran, S. Srbljic and Z. Zilic , "An Overview of the NUMAchime Multiprocessor Project", Supercomputing Symposium SS'94, pp. 283-295, Toronto, Jun. 1994.
  77. Z. Zilic and Z. G. Vranesic, "Multiple Valued Logic in FPGAs", Proceedings of 36th Midwest Symposium on Circuits and Systems, pp. 1553-1556, Detroit, Michigan, August 1993.
  78. Z. Zilic and Z. G. Vranesic, "Current-Mode CMOS Galois Field Circuits", Proceedings of the 23rd International Symposium on Multiple-Valued Logic", pp. 245-250, Sacramento, California, May 1993.
  79. Z. Zilic and G. Peskir, "Performance Issues in IEEE 802.6 MAN Subnetwork", Proceedings of the Mediterranean IEEE Conference "Melecon '91", pp. 1011-1014, Ljubljana, Slovenia, May 1991.
  80. V. Glavinic and Z. Zilic, "An Integrated Environment for Specification of OSI Systems", Proceedings of the Mediterranean IEEE Conference "Melecon '91", pp. 1007-1010, Ljubljana, Slovenia, May 1991.
  81. D. Bosnar and Z. Zilic, "Using Formalisms for Concurrent Process Description in Functional Description of Digital Systems", Conference Etan '91, Ohrid, Macedonia, May 1991.
  82. Z. Zilic, "Data Compression Methods in Digital Image Compression", Conference YUGRAPH '90, Dubrovnik, Croatia, May 1990.
  83. Z. Zilic, "Model of One CSMA/CD-Based Access Method", Proceedings of the Conference Etan '90, pp. 243-350, Zagreb, Croatia, May 1990. Honorary Mention.

Technical Reports, Workshops, Projects and Book Reviews

Patents and Inventions