dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Maciej J. Ciesielski Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDusung Kim, Maciej J. Ciesielski, Kyuho Shim, Seiyang Yang: Temporal parallel simulation: A fast gate-level HDL simulation using higher level models. DATE 2011: 1584-1589
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDusung Kim, Maciej J. Ciesielski, Seiyang Yang: A new distributed event-driven gate-level HDL simulation by accurate prediction. DATE 2011: 547-550
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. Banerjee, Jimson Mathew, Dhiraj K. Pradhan, Saraju P. Mohanty, Maciej J. Ciesielski: Variation-Aware TED-Based Approach for Nano-CMOS RTL Leakage Optimization. VLSI Design 2011: 304-309
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShibaji Banerjee, Jimson Mathew, Saraju P. Mohanty, Dhiraj K. Pradhan, Maciej J. Ciesielski: A Variation-Aware Taylor Expansion Diagram-Based Approach for Nano-CMOS Register-Transfer Level Leakage Optimization. J. Low Power Electronics 7(4): 471-481 (2011)
2010
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Gomez-Prado, Dusung Kim, Maciej J. Ciesielski, Emmanuel Boutillon: Retiming arithmetic datapaths using Timed Taylor Expansion Diagrams. HLDVT 2010: 33-39
2009
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Gomez-Prado, Q. Ren, Maciej J. Ciesielski, Jérémie Guillot, Emmanuel Boutillon: Optimizing data flow graphs to minimize hardware implementation. DATE 2009: 117-122
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej J. Ciesielski, Jérémie Guillot, Daniel Gomez-Prado, Emmanuel Boutillon: High-Level Dataflow Transformations Using Taylor Expansion Diagrams. IEEE Design & Test of Computers 26(4): 46-57 (2009)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej J. Ciesielski, Daniel Gomez-Prado, Q. Ren, Jérémie Guillot, Emmanuel Boutillon: Optimization of Data-Flow Computations Using Canonical TED Representation. IEEE Trans. on CAD of Integrated Circuits and Systems 28(9): 1321-1333 (2009)
2008
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKyuho Shim, Youngrae Cho, Namdo Kim, Hyuncheol Baik, Kyungkuk Kim, Dusung Kim, Jaebum Kim, Byeongun Min, Kyumyung Choi, Maciej J. Ciesielski, Seiyang Yang: A fast two-pass HDL simulation with on-demand dump. ASP-DAC 2008: 422-427
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKyuho Shim, Kesava R. Talupuru, Maciej J. Ciesielski, Seiyang Yang: Simulation Acceleration with HW Re-Compilation Avoidance. VLSI Design 2008: 487-491
2007
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej J. Ciesielski, Serkan Askar, Daniel Gomez-Prado, Jérémie Guillot, Emmanuel Boutillon: Data-flow transformations using Taylor expansion diagrams. DATE 2007: 455-460
2006
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJérémie Guillot, Emmanuel Boutillon, Q. Ren, Maciej J. Ciesielski, Daniel Gomez-Prado, Serkan Askar: Efficient factorization of DSP transforms using taylor expansion diagrams. DATE 2006: 754-755
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej J. Ciesielski, Priyank Kalla, Serkan Askar: Taylor Expansion Diagrams: A Canonical Representation for Verification of Data Flow Designs. IEEE Trans. Computers 55(9): 1188-1201 (2006)
2005
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhaojun Wo, Israel Koren, Maciej J. Ciesielski: An ILP Formulation for Yield-driven Architectural Synthesis. DFT 2005: 12-20
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhaojun Wo, Israel Koren, Maciej J. Ciesielski: Yield-aware Floorplanning. DSD 2005: 247-253
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhihong Zeng, Kesava R. Talupuru, Maciej J. Ciesielski: Functional test generation based on word-level SAT. Journal of Systems Architecture 51(8): 488-511 (2005)
2004
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSungju Park, Sangwook Cho, Seiyang Yang, Maciej J. Ciesielski: A new state assignment technique for testing and low power. DAC 2004: 510-513
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGörschwin Fey, Rolf Drechsler, Maciej J. Ciesielski: Algorithms for Taylor Expansion Diagrams. ISMVL 2004: 235-240
2003
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhihong Zeng, Qiushuang Zhang, Ian G. Harris, Maciej J. Ciesielski: Fast Computation of Data Correlation Using BDDs. DATE 2003: 10122-10129
2002
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej J. Ciesielski, Priyank Kalla, Zhihong Zeng, Bruno Rouzeyre: Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification. DATE 2002: 285-289
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej J. Ciesielski, Serkan Askar, Samuel Levitin: Analytical approach to layout generation of datapath cells. IEEE Trans. on CAD of Integrated Circuits and Systems 21(12): 1480-1488 (2002)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPriyank Kalla, Maciej J. Ciesielski: A comprehensive approach to the partial scan problem using implicitstate enumeration. IEEE Trans. on CAD of Integrated Circuits and Systems 21(7): 810-826 (2002)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCongguang Yang, Maciej J. Ciesielski: BDS: a BDD-based logic optimization system. IEEE Trans. on CAD of Integrated Circuits and Systems 21(7): 866-876 (2002)
2001
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhihong Zeng, Priyank Kalla, Maciej J. Ciesielski: LPSAT: a unified approach to RTL satisfiability. DATE 2001: 398-402
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhihong Zeng, Maciej J. Ciesielski, Bruno Rouzeyre: Functional Test Generation using Constraint Logic Programming. VLSI-SOC 2001: 375-387
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPriyank Kalla, Zhihong Zeng, Maciej J. Ciesielski: Strategies for solving the Boolean satisfiability problem using binary decision diagrams. Journal of Systems Architecture 47(6): 491-503 (2001)
2000
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCongguang Yang, Maciej J. Ciesielski, Vigyan Singhal: BDS: a BDD-based logic optimization system. DAC 2000: 92-97
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPriyank Kalla, Zhihong Zeng, Maciej J. Ciesielski, ChiLai Huang: A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm. DATE 2000: 232-236
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCongguang Yang, Maciej J. Ciesielski: Synthesis for Mixed CMOS/PTl Logic. DATE 2000: 750
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSurendra Bommu, Niall O'Neill, Maciej J. Ciesielski: Retiming-based factorization for sequential logic optimization. ACM Trans. Design Autom. Electr. Syst. 5(3): 373-398 (2000)
1999
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPriyank Kalla, Maciej J. Ciesielski: Performance Driven Resynthesis by Exploiting Retiming-Induced State Register Equivalence. DATE 1999: 638-642
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerkan Askar, Maciej J. Ciesielski: Analytical approach to custom datapath design. ICCAD 1999: 98-101
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCongguang Yang, Maciej J. Ciesielski, Vigyan Singhal: BDD Decomposition for Efficient Logic Synthesis. ICCD 1999: 626-
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDurgam Vahia, Maciej J. Ciesielski: Transistor level placement for full custom datapath cell design. ISPD 1999: 158-163
1998
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBalakrishnan Iyer, Maciej J. Ciesielski: Reencoding for cycle-time minimization under fixed encoding length. ICCAD 1998: 312-315
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPriyank Kalla, Maciej J. Ciesielski: A comprehensive approach to the partial scan problem using implicit state enumeration. ITC 1998: 651-657
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWayne P. Burleson, Maciej J. Ciesielski, Fabian Klass, W. Liu: Wave-pipelining: a tutorial and research survey. IEEE Trans. VLSI Syst. 6(3): 464-474 (1998)
1997
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLImrich Chlamtac, Maciej J. Ciesielski, Andrea Fumagalli, Chester A. Ruszczyk, Gosse Wedzinga: Intelligent Simulation for Computer Aided Design of Optical Networks. ONDM 1997: 73-86
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPriyank Kalla, Maciej J. Ciesielski: Testability of Sequential Circuits with Multi-Cycle False Path. VTS 1997: 322-328
1996
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBalakrishnan Iyer, Maciej J. Ciesielski: Metamorphosis: state assignment by retiming and re-encoding. ICCAD 1996: 614-617
1994
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWayne Burleson, L. W. Cotten, Fabian Klass, Maciej J. Ciesielski: Forum: Wave-pipelining: Is it Practical? ISCAS 1994: 163-166
1993
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDonald A. Joy, Maciej J. Ciesielski: Clock period minimization with wave pipelining. IEEE Trans. on CAD of Integrated Circuits and Systems 12(4): 461-472 (1993)
1992
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaya K. Yajnik, Maciej J. Ciesielski: Finite State Machine Decomposition Using Multiway Partitioning. ICCD 1992: 320-323
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZafar Hasan, David Harrison, Maciej J. Ciesielski: A Fast Partitioning Method for PLA-Based FPGAs. IEEE Design & Test of Computers 9(4): 34-39 (1992)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej J. Ciesielski, Seiyang Yang: PLADE: a two-stage PLA decomposition. IEEE Trans. on CAD of Integrated Circuits and Systems 11(8): 943-954 (1992)
1991
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej J. Ciesielski, Jia-Jye Shen, Marc Davio: A Unified Approach to Input-Output Encoding for FSM State Assignment. DAC 1991: 176-181
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDonald A. Joy, Maciej J. Ciesielski: Placement for Clock Period Minimization With Multiple Wave Propagation. DAC 1991: 640-643
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSeiyang Yang, Maciej J. Ciesielski: Optimum and suboptimum algorithms for input encoding and its relationship to logic minimization. IEEE Trans. on CAD of Integrated Circuits and Systems 10(1): 4-12 (1991)
1989
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej J. Ciesielski: Layer assignment for VLSI interconnect delay minimization. IEEE Trans. on CAD of Integrated Circuits and Systems 8(6): 702-707 (1989)
1987
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej J. Ciesielski, Edwin Kinnen: Digraph Relaxation for 2-Dimensional Placement of IC Blocks. IEEE Trans. on CAD of Integrated Circuits and Systems 6(1): 55-66 (1987)
1985
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej J. Ciesielski: Two-Dimensional Routing for the Silc Silicon Compiler. IEEE Trans. on CAD of Integrated Circuits and Systems 4(3): 198-203 (1985)
1982
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej J. Ciesielski, Edwin Kinnen: An analytical method for compacting routing area in integrated circuits. DAC 1982: 30-37
1981
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaciej J. Ciesielski, Edwin Kinnen: An optimum layer assignment for routing in ICs and PCBs. DAC 1981: 733-737

Coauthor Index

1Serkan Askar [22] [33] [41] [42] [43]
2Hyuncheol Baik [45]
3S. Banerjee [51]
4Shibaji Banerjee [50]
5Surendra Bommu [24]
6Emmanuel Boutillon [42] [43] [46] [47] [48] [49]
7Wayne P. Burleson (Wayne Burleson) [13] [17]
8Imrich Chlamtac [16]
9Sangwook Cho [37]
10Youngrae Cho [45]
11Kyumyung Choi [45]
12L. W. Cotten [13]
13Marc Davio [8]
14Rolf Drechsler [36]
15Görschwin Fey [36]
16Andrea Fumagalli [16]
17Daniel Gomez-Prado [42] [43] [46] [47] [48] [49]
18Jérémie Guillot [42] [43] [46] [47] [48]
19Ian G. Harris [35]
20David Harrison [10]
21Zafar Hasan [10]
22ChiLai Huang [26]
23Balakrishnan Iyer [14] [19]
24Donald A. Joy [7] [12]
25Priyank Kalla [15] [18] [23] [26] [28] [30] [32] [34] [41]
26Dusung Kim [45] [49] [52] [53]
27Jaebum Kim [45]
28Kyungkuk Kim [45]
29Namdo Kim [45]
30Edwin Kinnen [1] [2] [4]
31Fabian Klass [13] [17]
32Israel Koren [39] [40]
33Samuel Levitin [33]
34W. Liu [17]
35Jimson Mathew [50] [51]
36Byeongun Min [45]
37Saraju P. Mohanty [50] [51]
38Niall O'Neill [24]
39Sungju Park [37]
40Dhiraj K. Pradhan [50] [51]
41Q. Ren [42] [46] [48]
42Bruno Rouzeyre [29] [34]
43Chester A. Ruszczyk [16]
44Jia-Jye Shen [8]
45Kyuho Shim [44] [45] [53]
46Vigyan Singhal [21] [27]
47Kesava R. Talupuru [38] [44]
48Durgam Vahia [20]
49Gosse Wedzinga [16]
50Zhaojun Wo [39] [40]
51Maya K. Yajnik [11]
52Congguang Yang [21] [25] [27] [31]
53Seiyang Yang [6] [9] [37] [44] [45] [52] [53]
54Zhihong Zeng [26] [28] [29] [30] [34] [35] [38]
55Qiushuang Zhang [35]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page