المؤلفون: Wilsin Gosti, Sunil P. Khatri, Alberto L. Sangiovanni-vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2001/iccad01/pdffiles/04c_2.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.335.3508; http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2001/iccad01/pdffiles/04c_2.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.335.3508
http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2001/iccad01/pdffiles/04c_2.pdf

المؤلفون: Wilsin Gosti

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://embedded.eecs.berkeley.edu/Respep/Research/Thesis/wilsin.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.9254; http://embedded.eecs.berkeley.edu/Respep/Research/Thesis/wilsin.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.9254
http://embedded.eecs.berkeley.edu/Respep/Research/Thesis/wilsin.pdf

المؤلفون: Felice Balarin, Massimiliano Chiodo, Daniel Engels, Paolo Giusto, Wilsin Gosti, Harry Hsieh, Attila Jurecska, Marcello Lajolo, Luciano Lavagno, Claudio Passerone, Roberto Passerone, Marco Sgroi, Ellen Sentovich, Kei Suzuki, Bassam Tabbara, Reinhard Hanxleden, Sherman Yee, Alberto Sangiovanni-vincentelli, Ffl Magneti Marelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: ftp://ic.eecs.berkeley.edu/pub/HWSW/polis_man.0.4.ps.gz

Time: 2

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.4509

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.4509

المؤلفون: Wilsin Gosti, Amit Narayan, Robert K. Brayton, Alberto L. Sangiovanni-vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.sigda.org/Archives/ProceedingArchives/Iccad/Iccad98/papers/1998/iccad98/pdffiles/01b_1.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.5654; http://www.sigda.org/Archives/ProceedingArchives/Iccad/Iccad98/papers/1998/iccad98/pdffiles/01b_1.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.5654
http://www.sigda.org/Archives/ProceedingArchives/Iccad/Iccad98/papers/1998/iccad98/pdffiles/01b_1.pdf

المؤلفون: Wilsin Gosti, Tiziano Villa, Alexander Saldanha, Alberto Sangiovanni-Vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www-cad.eecs.berkeley.edu/Respep/Research/asves/paper1998/Gosti_gls98.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.6453; http://www-cad.eecs.berkeley.edu/Respep/Research/asves/paper1998/Gosti_gls98.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.6453
http://www-cad.eecs.berkeley.edu/Respep/Research/asves/paper1998/Gosti_gls98.ps

المؤلفون: Wireplanning In Logic, Wilsin Gosti, Amit Narayan, Robert K. Brayton, Alberto L. Sangiovanni-vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www-cad.eecs.berkeley.edu/Respep/Research/asves/paper1998/Gosti_iccad98.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.8764; http://www-cad.eecs.berkeley.edu/Respep/Research/asves/paper1998/Gosti_iccad98.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.8764
http://www-cad.eecs.berkeley.edu/Respep/Research/asves/paper1998/Gosti_iccad98.pdf

المؤلفون: Yuji Kukimoto, Wilsin Gosti, Alexander Saldanha, Robert K. Brayton

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: ftp://ic.eecs.berkeley.edu/pub/Memos_Conference/iccad97.KGSB.ps.gz

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.5878

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.5878

المؤلفون: Yuji Kukimoto, Wilsin Gosti, Alexander Saldanha, Robert K. Brayton

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: ftp://ic.eecs.berkeley.edu/pub/Memos_Conference/iwls97.KGSB.ps.gz

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.2898

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.2898

المؤلفون: Rajeev Ranjan, Wilsin Gosti, Robert K. Brayton, Alberto Sangiovanni-vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.eecs.berkeley.edu/~rajeev/publications/psdir/dro_iccd.ps.

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.5811; http://www.eecs.berkeley.edu/~rajeev/publications/psdir/dro_iccd.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.5811
http://www.eecs.berkeley.edu/~rajeev/publications/psdir/dro_iccd.ps

المؤلفون: Claudio Passerone, Massimiliano Chiodo, Wilsin Gosti, Luciano Lavagno, Alberto Sangiovanni-Vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: ftp://ic.eecs.berkeley.edu/pub/HWSW/publications/UCB-ERL-96-12.ps.gz

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.980

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.980

المؤلفون: Wilsin Gosti

مصطلحات موضوعية: Very-large-scale integration, Matrix (mathematics), Computer engineering, Computer science, Interface (Java), Computation, Bounded function, Netlist, Phase (waves), Graph (abstract data type), Algorithm

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::86ae4ccd1ed8edd2305496da84f03049
https://doi.org/10.31274/rtd-180813-7620

المؤلفون: Huaizhi Wu, Martin D. F. Wong, Wilsin Gosti

المصدر: ACM Transactions on Design Automation of Electronic Systems. 13:1-20

مصطلحات موضوعية: Mathematical optimization, Computer science, Computation, Small number, Voltage optimisation, Computer Graphics and Computer-Aided Design, Computer Science Applications, Control theory, Dynamic demand, Effective method, Electrical and Electronic Engineering, Voronoi diagram, Leakage (electronics), Voltage

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::447b3ad6dfea15eda2d709ae89b81959
https://doi.org/10.1145/1367045.1367055

المؤلفون: Alex Saldanha, Wilsin Gosti, Tiziano Villa, Alberto Sangiovanni-Vincentelli

المصدر: International Journal of Applied Mathematics and Computer Science, vol 17, iss 1
Gosti, W; Villa, T; Saldanha, A; & Sangiovanni-Vincentelli, AL. (2007). FSM encoding for BDD representations. International Journal of Applied Mathematics and Computer Science, 17(1), 113-128. doi: 10.2478/v10006-007-0011-6. UC Berkeley: Retrieved from: http://www.escholarship.org/uc/item/0qm9b445

مصطلحات موضوعية: State variable, Theoretical computer science, Finite-state machine, Binary decision diagram, Applied Mathematics, finite state machine, Function (mathematics), encoding, binary decision diagram, Mathematical Sciences, logic representation, State function, Exact algorithm, Encoding (memory), Information and Computing Sciences, Computer Science (miscellaneous), Benchmark (computing), formal verification, Engineering (miscellaneous), Algorithm, logic synthesis, Hardware_LOGICDESIGN, Mathematics

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d419f3bee5b76e987f54a6b5ed30eea9
http://hdl.handle.net/11562/318519

المؤلفون: Rajeev Kumar Ranjan, A.L. Sangiovanni-Vincenteili, Wilsin Gosti, Robert K. Brayton

المصدر: ICCD
Scopus-Elsevier

مصطلحات موضوعية: Scheme (programming language), Variable (computer science), Range (mathematics), Computer engineering, Computer science, Breadth-first search, Parallel computing, computer, Swap (computer programming), computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fd21132024fa2043f57d30d9e61d4706
https://doi.org/10.1109/iccd.1997.628893

المؤلفون: Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Amit Narayan, Wilsin Gosti

المصدر: ICCAD
Scopus-Elsevier

مصطلحات موضوعية: Engineering, Logic synthesis, Computer engineering, business.industry, Logic gate, Logic family, Physical design, Permission, business, Hardware_LOGICDESIGN, Register-transfer level, Logic optimization, Electronic circuit

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b621408c21aa40df29e3a3e623d48c8e
https://doi.org/10.1145/288548.288556

المؤلفون: Wilsin Gosti, Tiziano Villa, Alex Saldanha, Alberto L. Sangiovanni-vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://matwbn.icm.edu.pl/ksiazki/amc/amc17/amc17111.pdf.

مصطلحات موضوعية: binary decision diagram, encoding, finite state machine, logic synthesis, formal verification, logic representation

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.6141; http://matwbn.icm.edu.pl/ksiazki/amc/amc17/amc17111.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.6141
http://matwbn.icm.edu.pl/ksiazki/amc/amc17/amc17111.pdf