02103nam 2200493 450 991082258460332120230808192843.01-4982-2882-8(CKB)3710000000654753(EBL)4534521(MiAaPQ)EBC4534521(Au-PeEL)EBL4534521(CaPaEBR)ebr11215561(OCoLC)951223553(EXLCZ)99371000000065475320160621h20162016 uy 0engur|n|---|||||rdacontentrdamediardacarrierConfronting religious violence Christian humanism and the moral imagination /Catherine M. WallaceEugene, Oregon :Cascade Books,2016.©20161 online resource (122 p.)A Confronting Fundamentalism BookDescription based upon print version of record.1-4982-2881-X Includes bibliographical references.Confronting Religious Violence: Christian Humanism and the Moral Imagination tells the tale of Christian theocracy in the West. Who converted whom was never entirely clear: the empire did stop feeding people to the lions for public entertainment; but Christianity was theologically corrupted by its official role in legitimating empire-as-usual. That theological corruption led to crusades, inquisitions, torture, and so forth. And it leaves us with a major question: is God violent? More dangerously yet: is violence our only option in response to wrongdoing? Are we morally obligated to injure thosConfronting FundamentalismViolenceReligious aspectsChristianityChristian humanismViolenceReligious aspectsChristianity.Christian humanism.241.697Wallace Catherine M.132575MiAaPQMiAaPQMiAaPQBOOK9910822584603321Confronting religious violence3979841UNINA03451nam 22006614a 450 991100664720332120200520144314.01-107-16031-61-280-74962-897866107496210-511-26247-70-511-26486-00-511-26558-10-511-26328-70-511-33160-60-511-60705-90-511-26409-7(CKB)1000000000353330(EBL)283578(OCoLC)476030602(SSID)ssj0000137375(PQKBManifestationID)11129800(PQKBTitleCode)TC0000137375(PQKBWorkID)10088338(PQKB)10157330(UkCbUP)CR9780511607059(MiAaPQ)EBC283578(PPN)261320270(EXLCZ)99100000000035333020040701d2005 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierDesigning digital computing systems with Verilog /David J. Lilja and Sachin S. SapatnekarCambridge ;New York Cambridge University Press20051 online resource (ix, 160 pages) digital, PDF file(s)Title from publisher's bibliographic system (viewed on 05 Oct 2015).0-521-04572-X 0-521-82866-X Includes bibliographical references and index.Cover; Half-title; Title; Copyright; Contents; Preface; 1 Controlling complexity; 2 A Verilogical place to start; 3 Defining the instruction set architecture; 4 Algorithmic behavioral modeling; 5 Building an assembler for VeSPA; 6 Pipelining; 7 Implementation of the pipelined processor; 8 Verification; APPENDIX A The VeSPA instruction set architecture (ISA); APPENDIX B The VASM assembler; IndexThis book serves both as an introduction to computer architecture and as a guide to using a hardware description language (HDL) to design, model and simulate real digital systems. The book starts with an introduction to Verilog - the HDL chosen for the book since it is widely used in industry and straightforward to learn. Next, the instruction set architecture (ISA) for the simple VeSPA (Very Small Processor Architecture) processor is defined - this is a real working device that has been built and tested at the University of Minnesota by the authors. The VeSPA ISA is used throughout the remainder of the book to demonstrate how behavioural and structural models can be developed and intermingled in Verilog. Although Verilog is used throughout, the lessons learned will be equally applicable to other HDLs. Written for senior and graduate students, this book is also an ideal introduction to Verilog for practising engineers.Verilog (Computer hardware description language)Electronic digital computersDesign and constructionVerilog (Computer hardware description language)Electronic digital computersDesign and construction.621.39/2Lilja David J1825436Sapatnekar Sachin S.1967-1825437MiAaPQMiAaPQMiAaPQBOOK9911006647203321Designing digital computing systems with Verilog4393116UNINA