URL
https://opencores.org/ocsvn/openfpu64/openfpu64/trunk
Subversion Repositories openfpu64
Compare Revisions
- This comparison shows the changes necessary to convert path
/openfpu64
- from Rev 1 to Rev 2
- ↔ Reverse comparison
Rev 1 → Rev 2
/trunk/gpl.txt
0,0 → 1,674
GNU GENERAL PUBLIC LICENSE |
Version 3, 29 June 2007 |
|
Copyright (C) 2007 Free Software Foundation, Inc. <http://fsf.org/> |
Everyone is permitted to copy and distribute verbatim copies |
of this license document, but changing it is not allowed. |
|
Preamble |
|
The GNU General Public License is a free, copyleft license for |
software and other kinds of works. |
|
The licenses for most software and other practical works are designed |
to take away your freedom to share and change the works. By contrast, |
the GNU General Public License is intended to guarantee your freedom to |
share and change all versions of a program--to make sure it remains free |
software for all its users. We, the Free Software Foundation, use the |
GNU General Public License for most of our software; it applies also to |
any other work released this way by its authors. You can apply it to |
your programs, too. |
|
When we speak of free software, we are referring to freedom, not |
price. Our General Public Licenses are designed to make sure that you |
have the freedom to distribute copies of free software (and charge for |
them if you wish), that you receive source code or can get it if you |
want it, that you can change the software or use pieces of it in new |
free programs, and that you know you can do these things. |
|
To protect your rights, we need to prevent others from denying you |
these rights or asking you to surrender the rights. Therefore, you have |
certain responsibilities if you distribute copies of the software, or if |
you modify it: responsibilities to respect the freedom of others. |
|
For example, if you distribute copies of such a program, whether |
gratis or for a fee, you must pass on to the recipients the same |
freedoms that you received. You must make sure that they, too, receive |
or can get the source code. And you must show them these terms so they |
know their rights. |
|
Developers that use the GNU GPL protect your rights with two steps: |
(1) assert copyright on the software, and (2) offer you this License |
giving you legal permission to copy, distribute and/or modify it. |
|
For the developers' and authors' protection, the GPL clearly explains |
that there is no warranty for this free software. For both users' and |
authors' sake, the GPL requires that modified versions be marked as |
changed, so that their problems will not be attributed erroneously to |
authors of previous versions. |
|
Some devices are designed to deny users access to install or run |
modified versions of the software inside them, although the manufacturer |
can do so. This is fundamentally incompatible with the aim of |
protecting users' freedom to change the software. The systematic |
pattern of such abuse occurs in the area of products for individuals to |
use, which is precisely where it is most unacceptable. Therefore, we |
have designed this version of the GPL to prohibit the practice for those |
products. If such problems arise substantially in other domains, we |
stand ready to extend this provision to those domains in future versions |
of the GPL, as needed to protect the freedom of users. |
|
Finally, every program is threatened constantly by software patents. |
States should not allow patents to restrict development and use of |
software on general-purpose computers, but in those that do, we wish to |
avoid the special danger that patents applied to a free program could |
make it effectively proprietary. To prevent this, the GPL assures that |
patents cannot be used to render the program non-free. |
|
The precise terms and conditions for copying, distribution and |
modification follow. |
|
TERMS AND CONDITIONS |
|
0. Definitions. |
|
"This License" refers to version 3 of the GNU General Public License. |
|
"Copyright" also means copyright-like laws that apply to other kinds of |
works, such as semiconductor masks. |
|
"The Program" refers to any copyrightable work licensed under this |
License. Each licensee is addressed as "you". "Licensees" and |
"recipients" may be individuals or organizations. |
|
To "modify" a work means to copy from or adapt all or part of the work |
in a fashion requiring copyright permission, other than the making of an |
exact copy. The resulting work is called a "modified version" of the |
earlier work or a work "based on" the earlier work. |
|
A "covered work" means either the unmodified Program or a work based |
on the Program. |
|
To "propagate" a work means to do anything with it that, without |
permission, would make you directly or secondarily liable for |
infringement under applicable copyright law, except executing it on a |
computer or modifying a private copy. Propagation includes copying, |
distribution (with or without modification), making available to the |
public, and in some countries other activities as well. |
|
To "convey" a work means any kind of propagation that enables other |
parties to make or receive copies. Mere interaction with a user through |
a computer network, with no transfer of a copy, is not conveying. |
|
An interactive user interface displays "Appropriate Legal Notices" |
to the extent that it includes a convenient and prominently visible |
feature that (1) displays an appropriate copyright notice, and (2) |
tells the user that there is no warranty for the work (except to the |
extent that warranties are provided), that licensees may convey the |
work under this License, and how to view a copy of this License. If |
the interface presents a list of user commands or options, such as a |
menu, a prominent item in the list meets this criterion. |
|
1. Source Code. |
|
The "source code" for a work means the preferred form of the work |
for making modifications to it. "Object code" means any non-source |
form of a work. |
|
A "Standard Interface" means an interface that either is an official |
standard defined by a recognized standards body, or, in the case of |
interfaces specified for a particular programming language, one that |
is widely used among developers working in that language. |
|
The "System Libraries" of an executable work include anything, other |
than the work as a whole, that (a) is included in the normal form of |
packaging a Major Component, but which is not part of that Major |
Component, and (b) serves only to enable use of the work with that |
Major Component, or to implement a Standard Interface for which an |
implementation is available to the public in source code form. A |
"Major Component", in this context, means a major essential component |
(kernel, window system, and so on) of the specific operating system |
(if any) on which the executable work runs, or a compiler used to |
produce the work, or an object code interpreter used to run it. |
|
The "Corresponding Source" for a work in object code form means all |
the source code needed to generate, install, and (for an executable |
work) run the object code and to modify the work, including scripts to |
control those activities. However, it does not include the work's |
System Libraries, or general-purpose tools or generally available free |
programs which are used unmodified in performing those activities but |
which are not part of the work. For example, Corresponding Source |
includes interface definition files associated with source files for |
the work, and the source code for shared libraries and dynamically |
linked subprograms that the work is specifically designed to require, |
such as by intimate data communication or control flow between those |
subprograms and other parts of the work. |
|
The Corresponding Source need not include anything that users |
can regenerate automatically from other parts of the Corresponding |
Source. |
|
The Corresponding Source for a work in source code form is that |
same work. |
|
2. Basic Permissions. |
|
All rights granted under this License are granted for the term of |
copyright on the Program, and are irrevocable provided the stated |
conditions are met. This License explicitly affirms your unlimited |
permission to run the unmodified Program. The output from running a |
covered work is covered by this License only if the output, given its |
content, constitutes a covered work. This License acknowledges your |
rights of fair use or other equivalent, as provided by copyright law. |
|
You may make, run and propagate covered works that you do not |
convey, without conditions so long as your license otherwise remains |
in force. You may convey covered works to others for the sole purpose |
of having them make modifications exclusively for you, or provide you |
with facilities for running those works, provided that you comply with |
the terms of this License in conveying all material for which you do |
not control copyright. Those thus making or running the covered works |
for you must do so exclusively on your behalf, under your direction |
and control, on terms that prohibit them from making any copies of |
your copyrighted material outside their relationship with you. |
|
Conveying under any other circumstances is permitted solely under |
the conditions stated below. Sublicensing is not allowed; section 10 |
makes it unnecessary. |
|
3. Protecting Users' Legal Rights From Anti-Circumvention Law. |
|
No covered work shall be deemed part of an effective technological |
measure under any applicable law fulfilling obligations under article |
11 of the WIPO copyright treaty adopted on 20 December 1996, or |
similar laws prohibiting or restricting circumvention of such |
measures. |
|
When you convey a covered work, you waive any legal power to forbid |
circumvention of technological measures to the extent such circumvention |
is effected by exercising rights under this License with respect to |
the covered work, and you disclaim any intention to limit operation or |
modification of the work as a means of enforcing, against the work's |
users, your or third parties' legal rights to forbid circumvention of |
technological measures. |
|
4. Conveying Verbatim Copies. |
|
You may convey verbatim copies of the Program's source code as you |
receive it, in any medium, provided that you conspicuously and |
appropriately publish on each copy an appropriate copyright notice; |
keep intact all notices stating that this License and any |
non-permissive terms added in accord with section 7 apply to the code; |
keep intact all notices of the absence of any warranty; and give all |
recipients a copy of this License along with the Program. |
|
You may charge any price or no price for each copy that you convey, |
and you may offer support or warranty protection for a fee. |
|
5. Conveying Modified Source Versions. |
|
You may convey a work based on the Program, or the modifications to |
produce it from the Program, in the form of source code under the |
terms of section 4, provided that you also meet all of these conditions: |
|
a) The work must carry prominent notices stating that you modified |
it, and giving a relevant date. |
|
b) The work must carry prominent notices stating that it is |
released under this License and any conditions added under section |
7. This requirement modifies the requirement in section 4 to |
"keep intact all notices". |
|
c) You must license the entire work, as a whole, under this |
License to anyone who comes into possession of a copy. This |
License will therefore apply, along with any applicable section 7 |
additional terms, to the whole of the work, and all its parts, |
regardless of how they are packaged. This License gives no |
permission to license the work in any other way, but it does not |
invalidate such permission if you have separately received it. |
|
d) If the work has interactive user interfaces, each must display |
Appropriate Legal Notices; however, if the Program has interactive |
interfaces that do not display Appropriate Legal Notices, your |
work need not make them do so. |
|
A compilation of a covered work with other separate and independent |
works, which are not by their nature extensions of the covered work, |
and which are not combined with it such as to form a larger program, |
in or on a volume of a storage or distribution medium, is called an |
"aggregate" if the compilation and its resulting copyright are not |
used to limit the access or legal rights of the compilation's users |
beyond what the individual works permit. Inclusion of a covered work |
in an aggregate does not cause this License to apply to the other |
parts of the aggregate. |
|
6. Conveying Non-Source Forms. |
|
You may convey a covered work in object code form under the terms |
of sections 4 and 5, provided that you also convey the |
machine-readable Corresponding Source under the terms of this License, |
in one of these ways: |
|
a) Convey the object code in, or embodied in, a physical product |
(including a physical distribution medium), accompanied by the |
Corresponding Source fixed on a durable physical medium |
customarily used for software interchange. |
|
b) Convey the object code in, or embodied in, a physical product |
(including a physical distribution medium), accompanied by a |
written offer, valid for at least three years and valid for as |
long as you offer spare parts or customer support for that product |
model, to give anyone who possesses the object code either (1) a |
copy of the Corresponding Source for all the software in the |
product that is covered by this License, on a durable physical |
medium customarily used for software interchange, for a price no |
more than your reasonable cost of physically performing this |
conveying of source, or (2) access to copy the |
Corresponding Source from a network server at no charge. |
|
c) Convey individual copies of the object code with a copy of the |
written offer to provide the Corresponding Source. This |
alternative is allowed only occasionally and noncommercially, and |
only if you received the object code with such an offer, in accord |
with subsection 6b. |
|
d) Convey the object code by offering access from a designated |
place (gratis or for a charge), and offer equivalent access to the |
Corresponding Source in the same way through the same place at no |
further charge. You need not require recipients to copy the |
Corresponding Source along with the object code. If the place to |
copy the object code is a network server, the Corresponding Source |
may be on a different server (operated by you or a third party) |
that supports equivalent copying facilities, provided you maintain |
clear directions next to the object code saying where to find the |
Corresponding Source. Regardless of what server hosts the |
Corresponding Source, you remain obligated to ensure that it is |
available for as long as needed to satisfy these requirements. |
|
e) Convey the object code using peer-to-peer transmission, provided |
you inform other peers where the object code and Corresponding |
Source of the work are being offered to the general public at no |
charge under subsection 6d. |
|
A separable portion of the object code, whose source code is excluded |
from the Corresponding Source as a System Library, need not be |
included in conveying the object code work. |
|
A "User Product" is either (1) a "consumer product", which means any |
tangible personal property which is normally used for personal, family, |
or household purposes, or (2) anything designed or sold for incorporation |
into a dwelling. In determining whether a product is a consumer product, |
doubtful cases shall be resolved in favor of coverage. For a particular |
product received by a particular user, "normally used" refers to a |
typical or common use of that class of product, regardless of the status |
of the particular user or of the way in which the particular user |
actually uses, or expects or is expected to use, the product. A product |
is a consumer product regardless of whether the product has substantial |
commercial, industrial or non-consumer uses, unless such uses represent |
the only significant mode of use of the product. |
|
"Installation Information" for a User Product means any methods, |
procedures, authorization keys, or other information required to install |
and execute modified versions of a covered work in that User Product from |
a modified version of its Corresponding Source. The information must |
suffice to ensure that the continued functioning of the modified object |
code is in no case prevented or interfered with solely because |
modification has been made. |
|
If you convey an object code work under this section in, or with, or |
specifically for use in, a User Product, and the conveying occurs as |
part of a transaction in which the right of possession and use of the |
User Product is transferred to the recipient in perpetuity or for a |
fixed term (regardless of how the transaction is characterized), the |
Corresponding Source conveyed under this section must be accompanied |
by the Installation Information. But this requirement does not apply |
if neither you nor any third party retains the ability to install |
modified object code on the User Product (for example, the work has |
been installed in ROM). |
|
The requirement to provide Installation Information does not include a |
requirement to continue to provide support service, warranty, or updates |
for a work that has been modified or installed by the recipient, or for |
the User Product in which it has been modified or installed. Access to a |
network may be denied when the modification itself materially and |
adversely affects the operation of the network or violates the rules and |
protocols for communication across the network. |
|
Corresponding Source conveyed, and Installation Information provided, |
in accord with this section must be in a format that is publicly |
documented (and with an implementation available to the public in |
source code form), and must require no special password or key for |
unpacking, reading or copying. |
|
7. Additional Terms. |
|
"Additional permissions" are terms that supplement the terms of this |
License by making exceptions from one or more of its conditions. |
Additional permissions that are applicable to the entire Program shall |
be treated as though they were included in this License, to the extent |
that they are valid under applicable law. If additional permissions |
apply only to part of the Program, that part may be used separately |
under those permissions, but the entire Program remains governed by |
this License without regard to the additional permissions. |
|
When you convey a copy of a covered work, you may at your option |
remove any additional permissions from that copy, or from any part of |
it. (Additional permissions may be written to require their own |
removal in certain cases when you modify the work.) You may place |
additional permissions on material, added by you to a covered work, |
for which you have or can give appropriate copyright permission. |
|
Notwithstanding any other provision of this License, for material you |
add to a covered work, you may (if authorized by the copyright holders of |
that material) supplement the terms of this License with terms: |
|
a) Disclaiming warranty or limiting liability differently from the |
terms of sections 15 and 16 of this License; or |
|
b) Requiring preservation of specified reasonable legal notices or |
author attributions in that material or in the Appropriate Legal |
Notices displayed by works containing it; or |
|
c) Prohibiting misrepresentation of the origin of that material, or |
requiring that modified versions of such material be marked in |
reasonable ways as different from the original version; or |
|
d) Limiting the use for publicity purposes of names of licensors or |
authors of the material; or |
|
e) Declining to grant rights under trademark law for use of some |
trade names, trademarks, or service marks; or |
|
f) Requiring indemnification of licensors and authors of that |
material by anyone who conveys the material (or modified versions of |
it) with contractual assumptions of liability to the recipient, for |
any liability that these contractual assumptions directly impose on |
those licensors and authors. |
|
All other non-permissive additional terms are considered "further |
restrictions" within the meaning of section 10. If the Program as you |
received it, or any part of it, contains a notice stating that it is |
governed by this License along with a term that is a further |
restriction, you may remove that term. If a license document contains |
a further restriction but permits relicensing or conveying under this |
License, you may add to a covered work material governed by the terms |
of that license document, provided that the further restriction does |
not survive such relicensing or conveying. |
|
If you add terms to a covered work in accord with this section, you |
must place, in the relevant source files, a statement of the |
additional terms that apply to those files, or a notice indicating |
where to find the applicable terms. |
|
Additional terms, permissive or non-permissive, may be stated in the |
form of a separately written license, or stated as exceptions; |
the above requirements apply either way. |
|
8. Termination. |
|
You may not propagate or modify a covered work except as expressly |
provided under this License. Any attempt otherwise to propagate or |
modify it is void, and will automatically terminate your rights under |
this License (including any patent licenses granted under the third |
paragraph of section 11). |
|
However, if you cease all violation of this License, then your |
license from a particular copyright holder is reinstated (a) |
provisionally, unless and until the copyright holder explicitly and |
finally terminates your license, and (b) permanently, if the copyright |
holder fails to notify you of the violation by some reasonable means |
prior to 60 days after the cessation. |
|
Moreover, your license from a particular copyright holder is |
reinstated permanently if the copyright holder notifies you of the |
violation by some reasonable means, this is the first time you have |
received notice of violation of this License (for any work) from that |
copyright holder, and you cure the violation prior to 30 days after |
your receipt of the notice. |
|
Termination of your rights under this section does not terminate the |
licenses of parties who have received copies or rights from you under |
this License. If your rights have been terminated and not permanently |
reinstated, you do not qualify to receive new licenses for the same |
material under section 10. |
|
9. Acceptance Not Required for Having Copies. |
|
You are not required to accept this License in order to receive or |
run a copy of the Program. Ancillary propagation of a covered work |
occurring solely as a consequence of using peer-to-peer transmission |
to receive a copy likewise does not require acceptance. However, |
nothing other than this License grants you permission to propagate or |
modify any covered work. These actions infringe copyright if you do |
not accept this License. Therefore, by modifying or propagating a |
covered work, you indicate your acceptance of this License to do so. |
|
10. Automatic Licensing of Downstream Recipients. |
|
Each time you convey a covered work, the recipient automatically |
receives a license from the original licensors, to run, modify and |
propagate that work, subject to this License. You are not responsible |
for enforcing compliance by third parties with this License. |
|
An "entity transaction" is a transaction transferring control of an |
organization, or substantially all assets of one, or subdividing an |
organization, or merging organizations. If propagation of a covered |
work results from an entity transaction, each party to that |
transaction who receives a copy of the work also receives whatever |
licenses to the work the party's predecessor in interest had or could |
give under the previous paragraph, plus a right to possession of the |
Corresponding Source of the work from the predecessor in interest, if |
the predecessor has it or can get it with reasonable efforts. |
|
You may not impose any further restrictions on the exercise of the |
rights granted or affirmed under this License. For example, you may |
not impose a license fee, royalty, or other charge for exercise of |
rights granted under this License, and you may not initiate litigation |
(including a cross-claim or counterclaim in a lawsuit) alleging that |
any patent claim is infringed by making, using, selling, offering for |
sale, or importing the Program or any portion of it. |
|
11. Patents. |
|
A "contributor" is a copyright holder who authorizes use under this |
License of the Program or a work on which the Program is based. The |
work thus licensed is called the contributor's "contributor version". |
|
A contributor's "essential patent claims" are all patent claims |
owned or controlled by the contributor, whether already acquired or |
hereafter acquired, that would be infringed by some manner, permitted |
by this License, of making, using, or selling its contributor version, |
but do not include claims that would be infringed only as a |
consequence of further modification of the contributor version. For |
purposes of this definition, "control" includes the right to grant |
patent sublicenses in a manner consistent with the requirements of |
this License. |
|
Each contributor grants you a non-exclusive, worldwide, royalty-free |
patent license under the contributor's essential patent claims, to |
make, use, sell, offer for sale, import and otherwise run, modify and |
propagate the contents of its contributor version. |
|
In the following three paragraphs, a "patent license" is any express |
agreement or commitment, however denominated, not to enforce a patent |
(such as an express permission to practice a patent or covenant not to |
sue for patent infringement). To "grant" such a patent license to a |
party means to make such an agreement or commitment not to enforce a |
patent against the party. |
|
If you convey a covered work, knowingly relying on a patent license, |
and the Corresponding Source of the work is not available for anyone |
to copy, free of charge and under the terms of this License, through a |
publicly available network server or other readily accessible means, |
then you must either (1) cause the Corresponding Source to be so |
available, or (2) arrange to deprive yourself of the benefit of the |
patent license for this particular work, or (3) arrange, in a manner |
consistent with the requirements of this License, to extend the patent |
license to downstream recipients. "Knowingly relying" means you have |
actual knowledge that, but for the patent license, your conveying the |
covered work in a country, or your recipient's use of the covered work |
in a country, would infringe one or more identifiable patents in that |
country that you have reason to believe are valid. |
|
If, pursuant to or in connection with a single transaction or |
arrangement, you convey, or propagate by procuring conveyance of, a |
covered work, and grant a patent license to some of the parties |
receiving the covered work authorizing them to use, propagate, modify |
or convey a specific copy of the covered work, then the patent license |
you grant is automatically extended to all recipients of the covered |
work and works based on it. |
|
A patent license is "discriminatory" if it does not include within |
the scope of its coverage, prohibits the exercise of, or is |
conditioned on the non-exercise of one or more of the rights that are |
specifically granted under this License. You may not convey a covered |
work if you are a party to an arrangement with a third party that is |
in the business of distributing software, under which you make payment |
to the third party based on the extent of your activity of conveying |
the work, and under which the third party grants, to any of the |
parties who would receive the covered work from you, a discriminatory |
patent license (a) in connection with copies of the covered work |
conveyed by you (or copies made from those copies), or (b) primarily |
for and in connection with specific products or compilations that |
contain the covered work, unless you entered into that arrangement, |
or that patent license was granted, prior to 28 March 2007. |
|
Nothing in this License shall be construed as excluding or limiting |
any implied license or other defenses to infringement that may |
otherwise be available to you under applicable patent law. |
|
12. No Surrender of Others' Freedom. |
|
If conditions are imposed on you (whether by court order, agreement or |
otherwise) that contradict the conditions of this License, they do not |
excuse you from the conditions of this License. If you cannot convey a |
covered work so as to satisfy simultaneously your obligations under this |
License and any other pertinent obligations, then as a consequence you may |
not convey it at all. For example, if you agree to terms that obligate you |
to collect a royalty for further conveying from those to whom you convey |
the Program, the only way you could satisfy both those terms and this |
License would be to refrain entirely from conveying the Program. |
|
13. Use with the GNU Affero General Public License. |
|
Notwithstanding any other provision of this License, you have |
permission to link or combine any covered work with a work licensed |
under version 3 of the GNU Affero General Public License into a single |
combined work, and to convey the resulting work. The terms of this |
License will continue to apply to the part which is the covered work, |
but the special requirements of the GNU Affero General Public License, |
section 13, concerning interaction through a network will apply to the |
combination as such. |
|
14. Revised Versions of this License. |
|
The Free Software Foundation may publish revised and/or new versions of |
the GNU General Public License from time to time. Such new versions will |
be similar in spirit to the present version, but may differ in detail to |
address new problems or concerns. |
|
Each version is given a distinguishing version number. If the |
Program specifies that a certain numbered version of the GNU General |
Public License "or any later version" applies to it, you have the |
option of following the terms and conditions either of that numbered |
version or of any later version published by the Free Software |
Foundation. If the Program does not specify a version number of the |
GNU General Public License, you may choose any version ever published |
by the Free Software Foundation. |
|
If the Program specifies that a proxy can decide which future |
versions of the GNU General Public License can be used, that proxy's |
public statement of acceptance of a version permanently authorizes you |
to choose that version for the Program. |
|
Later license versions may give you additional or different |
permissions. However, no additional obligations are imposed on any |
author or copyright holder as a result of your choosing to follow a |
later version. |
|
15. Disclaimer of Warranty. |
|
THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY |
APPLICABLE LAW. EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT |
HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY |
OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, |
THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR |
PURPOSE. THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE PROGRAM |
IS WITH YOU. SHOULD THE PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF |
ALL NECESSARY SERVICING, REPAIR OR CORRECTION. |
|
16. Limitation of Liability. |
|
IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING |
WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MODIFIES AND/OR CONVEYS |
THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES, INCLUDING ANY |
GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF THE |
USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED TO LOSS OF |
DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY YOU OR THIRD |
PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER PROGRAMS), |
EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF |
SUCH DAMAGES. |
|
17. Interpretation of Sections 15 and 16. |
|
If the disclaimer of warranty and limitation of liability provided |
above cannot be given local legal effect according to their terms, |
reviewing courts shall apply local law that most closely approximates |
an absolute waiver of all civil liability in connection with the |
Program, unless a warranty or assumption of liability accompanies a |
copy of the Program in return for a fee. |
|
END OF TERMS AND CONDITIONS |
|
How to Apply These Terms to Your New Programs |
|
If you develop a new program, and you want it to be of the greatest |
possible use to the public, the best way to achieve this is to make it |
free software which everyone can redistribute and change under these terms. |
|
To do so, attach the following notices to the program. It is safest |
to attach them to the start of each source file to most effectively |
state the exclusion of warranty; and each file should have at least |
the "copyright" line and a pointer to where the full notice is found. |
|
<one line to give the program's name and a brief idea of what it does.> |
Copyright (C) <year> <name of author> |
|
This program is free software: you can redistribute it and/or modify |
it under the terms of the GNU General Public License as published by |
the Free Software Foundation, either version 3 of the License, or |
(at your option) any later version. |
|
This program is distributed in the hope that it will be useful, |
but WITHOUT ANY WARRANTY; without even the implied warranty of |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
GNU General Public License for more details. |
|
You should have received a copy of the GNU General Public License |
along with this program. If not, see <http://www.gnu.org/licenses/>. |
|
Also add information on how to contact you by electronic and paper mail. |
|
If the program does terminal interaction, make it output a short |
notice like this when it starts in an interactive mode: |
|
<program> Copyright (C) <year> <name of author> |
This program comes with ABSOLUTELY NO WARRANTY; for details type `show w'. |
This is free software, and you are welcome to redistribute it |
under certain conditions; type `show c' for details. |
|
The hypothetical commands `show w' and `show c' should show the appropriate |
parts of the General Public License. Of course, your program's commands |
might be different; for a GUI interface, you would use an "about box". |
|
You should also get your employer (if you work as a programmer) or school, |
if any, to sign a "copyright disclaimer" for the program, if necessary. |
For more information on this, and how to apply and follow the GNU GPL, see |
<http://www.gnu.org/licenses/>. |
|
The GNU General Public License does not permit incorporating your program |
into proprietary programs. If your program is a subroutine library, you |
may consider it more useful to permit linking proprietary applications with |
the library. If this is what you want to do, use the GNU Lesser General |
Public License instead of this License. But first, please read |
<http://www.gnu.org/philosophy/why-not-lgpl.html>. |
/trunk/licence.txt
0,0 → 1,674
see gpl.txt :) |
/trunk/fpu_add.vhd
0,0 → 1,367
------------------------------------------------------------------------------- |
-- Project : openFPU64 Add/Sub Component |
------------------------------------------------------------------------------- |
-- File : fpu_add.vhd |
-- Author : Peter Huewe <peterhuewe@gmx.de> |
-- Created : 2010-04-19 |
-- Last update: 2010-04-19 |
-- Standard : VHDL'87 |
------------------------------------------------------------------------------- |
-- Description: double precision floating point adder/subtractor component |
-- for openFPU64, includes rounding and normalization |
-- |
------------------------------------------------------------------------------- |
-- Copyright (c) 2010 |
------------------------------------------------------------------------------- |
-- License: gplv3, see licence.txt |
------------------------------------------------------------------------------- |
library IEEE; |
use IEEE.std_logic_1164.all; |
use IEEE.numeric_std.all; |
use work.fpu_package.all; |
|
entity fpu_add is |
port ( |
clk, reset_n : in std_logic; -- reset = standard active low |
mode : in std_logic; -- mode: 0 = add , 1= sub |
cs : in std_logic; -- chip select active high |
-- in operands |
sign_a, sign_b : in std_logic; -- sign bits |
exponent_a, exponent_b : in std_logic_vector (11 downto 0); -- exponents of the operands |
mantissa_a, mantissa_b : in std_logic_vector (57 downto 0); -- mantissa of operands |
-- out result |
sign_res : out std_logic; |
exponent_res : out std_logic_vector(11 downto 0); |
mantissa_res : out std_logic_vector (57 downto 0); |
|
rounding_needed : out std_logic; -- FUTURE wether rounding is needed or not |
valid : out std_logic |
); |
end fpu_add; |
architecture rtl of fpu_add is |
-- controller part |
|
|
|
type t_state is ( |
s_reset, |
s_load_wait, |
s_a_is_nan, |
s_b_is_nan, |
s_swap_a_and_b, |
s_invalid_operation_inf_minus_inf, |
s_get_result, |
s_fix_sub_borrow, |
s_normalize_right, |
s_result_is_inf, |
s_normalize_left, |
s_prepare_round_ceiling, |
s_post_normalization, |
s_finished, |
s_zero, |
s_correction_and_round, |
s_prepare_operation, |
s_check_result, |
s_wait_on_normalize_right, |
s_align_b_to_a |
); |
signal state : t_state; |
|
signal a_s, b_s : std_logic := '0'; |
signal a_e, b_e : unsigned(11 downto 0) := (others => '0'); |
signal a_m, b_m : unsigned(57 downto 0) := (others => '0'); |
signal alu_result, alu_op_a, alu_op_b : unsigned(57 downto 0) := (others => '0'); |
-- Switches adder between Addition and Subtraction, helps to infer 1 big addsub by synthesis tools |
signal alu_mode : std_logic := '0'; |
|
-- status bits generated automatically |
signal a_is_a_denormalized_number, a_is_lesser_than_b, a_is_inf_or_nan, a_is_inf : std_logic := '0'; |
signal b_is_unaligned, addition_mode, rounding_case_is_to_ceiling : std_logic := '0'; |
signal b_is_inf, b_is_inf_or_nan, or_signal : std_logic := '0'; |
|
|
|
alias result_is_inf : std_logic is a_is_inf_or_nan; -- result is stored in a |
alias signs_are_equal : std_logic is addition_mode; |
alias a_e_all_ones : std_logic is a_is_inf_or_nan; -- if exponent 111...111 then a is either INF or NAN |
alias b_e_all_ones : std_logic is b_is_inf_or_nan; -- if exponent 111...111 then b is either INF or NAN |
alias a_e_all_zeros : std_logic is a_is_a_denormalized_number; -- if exponent of a, a is either zero or a denormalized number |
|
begin |
-- FUTURE |
rounding_needed <= '0'; |
|
|
-- generate internal status signals |
|
a_is_a_denormalized_number <= '1' when a_e = ZEROS(10 downto 0) else '0'; |
a_is_inf_or_nan <= '1' when a_e = ONES (10 downto 0) else '0'; |
b_is_inf_or_nan <= '1' when b_e = ONES(10 downto 0) else '0'; |
b_is_inf <= '1' when b_m (54 downto 1) = ZEROS(54 downto 1) else '0'; -- if mantissa is zero and exponent is 11..111 b is inf |
a_is_inf <= '1' when a_m (54 downto 1) = ZEROS(54 downto 1) else '0'; -- if mantissa is zero and exponent is 11..111 a is inf |
a_is_lesser_than_b <= '1' when a_e(10 downto 0) < b_e(10 downto 0) else '0'; -- a should be >= b |
b_is_unaligned <= '1' when a_e /= b_e else '0'; -- exponents of a and b have to be the same before addition |
addition_mode <= '1' when a_s = b_s else '0'; |
|
-- this line has this meaning |
-- case a_m (3 downto 0) |
-- when "1100" => add 1 to a_m(57 downto 3) |
-- when "1101" => add 1 to a_m(57 downto 3) |
-- when "1110" => add 1 to a_m(57 downto 3) |
-- when "1111" => add 1 to a_m(57 downto 3) |
rounding_case_is_to_ceiling <= '1' when a_m(3 downto 0) = "1100" or (a_m(2) = '1' and (a_m(1) = '1' or a_m(0) = '1')) else '0'; |
|
-- Big ADD/SUB, has to be preloaded for each result |
alu_result <= alu_op_a+alu_op_b when alu_mode = '1' else alu_op_a-alu_op_b; |
|
state_trans : process (clk, reset_n) -- clock, reset_n, chipselect |
begin |
if reset_n = '0' then |
a_m <= (others => '0'); |
a_e <= (others => '0'); |
a_s <= '0'; |
b_m <= (others => '0'); |
b_e <= (others => '0'); |
b_s <= '0'; |
valid <= '0'; |
|
sign_res <= '0'; |
exponent_res <= (others => '0'); |
mantissa_res <= (others => '0'); |
alu_op_a <= (others => '0'); |
alu_op_b <= (others => '0'); |
alu_mode <= '0'; |
state <= s_reset; -- reset hat vorrang |
elsif rising_edge(clk) then |
if cs = '0' then |
a_m <= (others => '0'); |
a_e <= (others => '0'); |
a_s <= '0'; |
b_m <= (others => '0'); |
b_e <= (others => '0'); |
b_s <= '0'; |
valid <= '0'; |
|
sign_res <= '0'; |
exponent_res <= (others => '0'); |
mantissa_res <= (others => '0'); |
alu_op_a <= (others => '0'); |
alu_op_b <= (others => '0'); |
alu_mode <= '0'; |
state <= s_reset; -- reset hat vorrang |
else |
|
-- keep values |
a_m <= a_m; |
a_e <= a_e; |
a_s <= a_s; |
b_m <= b_m; |
b_e <= b_e; |
b_s <= b_s; |
valid <= '0'; |
sign_res <= a_s; |
exponent_res <= std_logic_vector(a_e); |
mantissa_res <= std_logic_vector(a_m); |
alu_op_a <= alu_op_a; |
alu_op_b <= alu_op_b; |
alu_mode <= alu_mode; |
state <= state; -- keep state if nothing else specified. |
|
|
case state is |
-- reset state, if chipselect is 1 load operands |
when s_reset => |
if cs = '1' then |
a_s <= sign_a; |
b_s <= sign_b xor mode; -- "sorts operations" |
a_m <= unsigned(mantissa_a); |
b_m <= unsigned(mantissa_b); |
a_e <= unsigned(exponent_a); |
b_e <= unsigned(exponent_b); |
|
state <= s_load_wait; |
end if; |
|
-- check operands if they are valid (!= nan), if operation is allowed |
-- or if operands need to be swapped |
when s_load_wait => |
if a_is_inf_or_nan = '1' and a_is_inf = '0' then state <= s_a_is_nan; |
elsif b_is_inf_or_nan = '1' and b_is_inf = '0' then state <= s_b_is_nan; |
--if a and b are infinity and signs are not equal this is an invalid operation |
elsif a_is_inf_or_nan = '1' and b_is_inf_or_nan = '1' and signs_are_equal = '0' then state <= s_invalid_operation_inf_minus_inf; |
-- if only a is infinity then nothing is left to be done |
elsif a_is_inf_or_nan = '1' and a_is_inf = '1' then state <= s_finished; |
elsif a_is_lesser_than_b = '1' then state <= s_swap_a_and_b; |
else state <= s_prepare_operation; |
end if; |
|
--operand a is NaN, set sign and finish |
when s_a_is_nan => |
a_s <= b_s or mode; |
|
state <= s_finished; |
|
--operand b is NaN set result=b and finish |
when s_b_is_nan => |
a_e <= b_e; |
a_m <= b_m; |
a_s <= b_s or mode; |
|
state <= s_finished; |
|
-- operands a and b have to be swapped |
when s_swap_a_and_b => |
a_s <= b_s; |
b_s <= a_s; |
a_e <= b_e; |
b_e <= a_e; |
a_m <= b_m; |
b_m <= a_m; |
|
state <= s_prepare_operation; |
|
-- load adder for add/sub |
-- check if b has to be aligned |
when s_prepare_operation => |
alu_mode <= addition_mode; -- load alu for s_get_result |
alu_op_a <= a_m; |
alu_op_b <= b_m; |
|
if b_is_unaligned = '1' then state <= s_align_b_to_a; |
else state <= s_get_result; |
end if; |
|
-- INF - INF or similar is an invalid operation |
when s_invalid_operation_inf_minus_inf => |
a_m(54) <= '1'; a_s <= '1'; |
|
state <= s_finished; |
|
-- align b to a so that a_e=b_e |
when s_align_b_to_a => |
alu_mode <= addition_mode; -- load alu for s_get_result |
alu_op_a <= a_m; |
alu_op_b <= b_m; |
|
state <= s_get_result; -- if a_e=b_e or b_m = 0...00x start calculation |
if b_is_unaligned = '1' then -- otherwise align b to a |
b_m(56 downto 0) <= '0' & b_m (56 downto 2) & (b_m(1) or b_m(0)); |
alu_op_b <= '0'&'0' & b_m (56 downto 2) & (b_m(1) or b_m(0)); |
b_e <= b_e +1; |
if b_m(56 downto 1) /= 0 then |
-- still not alligned |
state <= s_align_b_to_a; |
end if; |
end if; |
|
|
-- assign calculation result |
when s_get_result => |
b_e <= a_e; -- in case some steps were skipped due to b_m = 0...00x |
a_m <= alu_result; |
|
state <= s_check_result; |
|
-- check result: |
-- sub borrow occured? |
-- normalization needed? |
-- result is zero? |
-- result is in? |
-- rounding needed? |
when s_check_result => |
alu_mode <= '1'; -- load alu for s_fix_sub_borrow |
alu_op_a <= not(a_m); |
alu_op_b <= (57 downto 1 => '0')&'1'; |
|
if a_m(57) = '1' then state <= s_fix_sub_borrow; |
elsif a_m(56) = '1' then state <= s_normalize_right; -- a_m(56)='1' -> normalization to the right is needed |
elsif result_is_inf = '1' then state <= s_result_is_inf; |
elsif a_m(55) = '0' and a_is_inf = '1' then state <= s_zero; |
else state <= s_correction_and_round; |
end if; |
|
-- sub borrow occured, fix it by *-1 (adder loaded in previous state) |
when s_fix_sub_borrow => |
a_s <= not a_s; |
a_m <= alu_result; |
|
if a_m(56) = '1' then state <= s_normalize_right; -- a_m(56)='1' -> normalization to the right is needed |
elsif result_is_inf = '1' then state <= s_result_is_inf; |
elsif a_m(55) = '0' and a_is_inf = '1' then state <= s_zero; |
else state <= s_correction_and_round; |
end if; |
|
-- Normalize right |
when s_normalize_right => |
a_m(56 downto 0) <= '0' & a_m(56 downto 2)& (a_m(0) or a_m(1)); |
a_e <= a_e +1; |
|
state <= s_wait_on_normalize_right; |
|
-- check result of Normalization to the right |
when s_wait_on_normalize_right => |
if a_is_inf_or_nan = '1' then state <= s_result_is_inf; |
else state <= s_correction_and_round; |
end if; |
|
-- result is infinity |
when s_result_is_inf => |
a_m <= (others => '0'); |
|
state <= s_finished; |
|
-- |
when s_correction_and_round => |
alu_mode <= '1'; -- load alu for s_prepare_round_ceiling |
alu_op_a <= a_m; |
alu_op_b <= (57 downto 4 => '0')&"1000"; |
if a_m(55) = '0' and a_e_all_zeros = '0' then state <= s_normalize_left; |
elsif rounding_case_is_to_ceiling = '1' then state <= s_prepare_round_ceiling; |
elsif a_m(56) = '1' then state <= s_post_normalization; -- a_m(56)='1' -> postnormalization is needed |
|
else state <= s_finished; end if; |
|
-- shift (possible) leading 1 to correct position |
when s_normalize_left=> |
a_m(55 downto 0) <= a_m(54 downto 0) & a_m(0); |
a_e <= a_e -1; |
alu_mode <= '1'; -- load alu for s_prepare_round_ceiling |
alu_op_a <= a_m(57 downto 56) & a_m(54 downto 0) & a_m(0); |
alu_op_b <= (57 downto 4 => '0')&"1000"; |
|
|
if a_m(54) = '0' and a_e_all_zeros = '0' then state <= s_normalize_left; |
elsif a_m(2 downto 0) = "110" or (a_m(1) = '1' and a_m(0) = '1') then state <= s_prepare_round_ceiling; |
elsif a_m(56) = '1' then state <= s_post_normalization; -- a_m(56)='1' -> postnormalization is needed |
else state <= s_finished; end if; |
|
|
when s_prepare_round_ceiling => |
a_m <= alu_result; |
if alu_result(56) = '1' then state <= s_post_normalization; -- a_m(56)='1' -> postnormalization is needed |
else state <= s_finished; end if; |
|
-- shift leading 1 to correct position |
when s_post_normalization => |
a_m(56 downto 1) <= '0' & a_m(56 downto 2); |
a_e <= a_e +1; |
state <= s_finished; |
|
-- result is zero |
when s_zero => |
a_s <= '0'; -- im add/sub fall bei allen rundungsmodi ausser round to -inf ist dies richtig! |
a_e <= (others => '0'); |
a_m <= (others => '0'); |
|
state <= s_finished; |
-- finished |
when s_finished => |
valid <= '1'; |
state <= s_finished; -- done here. |
|
end case; |
end if; |
end if; |
end process; |
end rtl; |
|
/trunk/openfpu64_tb.tail.vhd
0,0 → 1,3
wait; -- |
end process; |
end; |
/trunk/openfpu64_hw.tcl
0,0 → 1,111
# TCL File Generated by Component Editor 9.1sp2 |
# Mon Apr 19 13:47:02 CEST 2010 |
# DO NOT MODIFY |
|
|
# +----------------------------------- |
# | |
# | openfpu64 "openfpu64" v1.9 |
# | Peter Huewe 2010.04.19.13:47:02 |
# | open source double precision FPU |
# | |
# | /data/hardware/projects/gps410_v2_r3_dpfpu/openfpu64.vhd |
# | |
# | ./fpu_package.vhd syn |
# | ./openfpu64.vhd syn |
# | ./fpu_add.vhd syn |
# | ./fpu_mul.vhd syn |
# | |
# +----------------------------------- |
|
# +----------------------------------- |
# | request TCL package from ACDS 9.1 |
# | |
package require -exact sopc 9.1 |
# | |
# +----------------------------------- |
|
# +----------------------------------- |
# | module openfpu64 |
# | |
set_module_property DESCRIPTION "open source double precision FPU" |
set_module_property NAME openfpu64 |
set_module_property VERSION 1.9 |
set_module_property INTERNAL false |
set_module_property GROUP "" |
set_module_property AUTHOR "Peter Huewe" |
set_module_property DISPLAY_NAME openfpu64 |
set_module_property TOP_LEVEL_HDL_FILE openfpu64.vhd |
set_module_property TOP_LEVEL_HDL_MODULE openfpu64 |
set_module_property INSTANTIATE_IN_SYSTEM_MODULE true |
set_module_property EDITABLE true |
set_module_property ANALYZE_HDL TRUE |
# | |
# +----------------------------------- |
|
# +----------------------------------- |
# | files |
# | |
add_file fpu_package.vhd SYNTHESIS |
add_file openfpu64.vhd SYNTHESIS |
add_file fpu_add.vhd SYNTHESIS |
add_file fpu_mul.vhd SYNTHESIS |
# | |
# +----------------------------------- |
|
# +----------------------------------- |
# | parameters |
# | |
# | |
# +----------------------------------- |
|
# +----------------------------------- |
# | display items |
# | |
# | |
# +----------------------------------- |
|
# +----------------------------------- |
# | connection point clock_reset |
# | |
add_interface clock_reset clock end |
|
set_interface_property clock_reset ENABLED true |
|
add_interface_port clock_reset reset_n reset_n Input 1 |
add_interface_port clock_reset clk clk Input 1 |
# | |
# +----------------------------------- |
|
# +----------------------------------- |
# | connection point avalon_slave_0 |
# | |
add_interface avalon_slave_0 avalon end |
set_interface_property avalon_slave_0 addressAlignment DYNAMIC |
set_interface_property avalon_slave_0 associatedClock clock_reset |
set_interface_property avalon_slave_0 burstOnBurstBoundariesOnly false |
set_interface_property avalon_slave_0 explicitAddressSpan 0 |
set_interface_property avalon_slave_0 holdTime 0 |
set_interface_property avalon_slave_0 isMemoryDevice false |
set_interface_property avalon_slave_0 isNonVolatileStorage false |
set_interface_property avalon_slave_0 linewrapBursts false |
set_interface_property avalon_slave_0 maximumPendingReadTransactions 0 |
set_interface_property avalon_slave_0 printableDevice false |
set_interface_property avalon_slave_0 readLatency 0 |
set_interface_property avalon_slave_0 readWaitTime 1 |
set_interface_property avalon_slave_0 setupTime 0 |
set_interface_property avalon_slave_0 timingUnits Cycles |
set_interface_property avalon_slave_0 writeWaitTime 0 |
|
set_interface_property avalon_slave_0 ASSOCIATED_CLOCK clock_reset |
set_interface_property avalon_slave_0 ENABLED true |
|
add_interface_port avalon_slave_0 read read Input 1 |
add_interface_port avalon_slave_0 write write Input 1 |
add_interface_port avalon_slave_0 address address Input 5 |
add_interface_port avalon_slave_0 readdata readdata Output 32 |
add_interface_port avalon_slave_0 writedata writedata Input 32 |
add_interface_port avalon_slave_0 waitrequest waitrequest Output 1 |
add_interface_port avalon_slave_0 begintransfer begintransfer Input 1 |
# | |
# +----------------------------------- |
/trunk/openfpu64.vhd
0,0 → 1,346
------------------------------------------------------------------------------- |
-- Project : openFPU64 - a double precision FPU (Toplevel Modul for Avalon) |
------------------------------------------------------------------------------- |
-- File : openfpu64.vhd |
-- Author : Peter Huewe <peterhuewe@gmx.de> |
-- Created : 2010-02-09 |
-- Last update: 2010-04-19 |
-- Platform : CycloneII, CycloneIII. |
-- Standard : VHDL'87 |
------------------------------------------------------------------------------- |
-- Description: This module contains the bus logic for the Avalon Interface of |
-- the openFPU64. |
-- the openFPU64 currently features: |
-- - double precision |
-- - Addition/Subtraction |
-- - Multiplication |
-- - rounding (to nearest even) |
-- - subnormals/denormals |
-- - verified against IEEE754 |
-- New algorithms can be added easily, just modify the code marked |
-- with ADD_ALGORITHMS_HERE |
-- Everything marked with FUTURE is not yet implemented, |
-- but already added for easier transition. |
------------------------------------------------------------------------------- |
-- Copyright (c) 2010 |
------------------------------------------------------------------------------- |
-- Licence: gpl v3 - see licence.txt |
------------------------------------------------------------------------------- |
|
library ieee; |
use ieee.std_logic_1164.all; |
use ieee.numeric_std.all; |
use work.fpu_package.all; -- contains import defines. |
|
------------------------------------------------------------------------------- |
|
entity openFPU64 is |
port( |
reset_n : in std_logic := '0'; -- reset, active low |
read : in std_logic := '0'; -- indicates a read transfer (from fpu) |
write : in std_logic := '1'; -- indicates a write tranfer (to fpu) |
|
-- address register, specifies where data comes from or is written to, # |
-- and also contains the desired operation while writing first operands high word |
-- see constants in fpu_package for more details |
address : in std_logic_vector (4 downto 0) := (others => '0'); |
|
--readdata result (FUTURE: and exceptions), transfers hi and low words in 2 cycles |
readdata : out std_logic_vector(31 downto 0) := (others => '0'); |
writedata : in std_logic_vector(31 downto 0) := (others => '0'); --operands and operator,2 cycles |
|
-- this signal indicates whether slave is stilly busy. When signal is asserted, bus signals have to remain stable |
-- CAUTION: Master may initiate a transfer though! |
waitrequest : out std_logic := '0'; |
begintransfer : in std_logic := '0'; -- Master initiates a new transfer |
clk : in std_logic := '0' -- clock |
); |
end openFPU64; |
|
------------------------------------------------------------------------------- |
|
architecture rtl of openFPU64 is |
----------------------------------------------------------------------------- |
-- Internal signal declarations |
----------------------------------------------------------------------------- |
-- Internal Floating Point format S eEEE EEEE EEEE bOhM....MRGt |
-- S Sign bit |
-- e xtra Exponent bit (12) |
-- E biased exponent (11 downto 0) |
-- b borrow for Subtraction (57) |
-- O Overflow (56) |
-- h Hiddenbit (55) |
-- M Mantissa bits (54 downto 3) |
-- R Round bit (2) |
-- G Guard bit (1) |
-- t Sticky bit (0) |
|
|
signal sign_a, sign_b : std_logic; -- signs of first/second operand |
signal exponent_a, exponent_b : std_logic_vector (11 downto 0); -- exponents of first/second operand |
signal mantissa_a, mantissa_b : std_logic_vector (57 downto 0); -- mantissas of first/second operand |
signal iwaitrequest : std_logic; -- internal signal waitrequest, is connected to waitrequest. |
signal started : std_logic; -- calculation can begin |
signal rounding_needed_1, rounding_needed_2 : std_logic; -- FUTURE signal which indicates if rounding is necessary. |
|
signal opmode : std_logic_vector (2 downto 0); -- keeps value of operation. |
-- The operation is encoded in the address, for better readability we define two aliases to split the |
-- register address from the desired operation |
alias operation : std_logic_vector (2 downto 0) is address(4 downto 2); -- desired operation -> fpu_package.vhd |
alias op_register : std_logic_vector (1 downto 0) is address (1 downto 0); -- register address of operand |
|
|
-- the next few signals are used for connecting components, |
-- if you like to add your own algorithm, please specify the necessary signals here, |
-- and document their usage. |
-- Notes: Add/Sub are one component, so some signals are shared. |
-- By using this technique a tristate bus for the components is avoided |
-- ADD_ALGORITHMS_HERE -- |
signal mode_1 : std_logic; -- ADD/SUB, switches between Addition ('0') and Subtraction ('1') |
signal cs_1, cs_2 : std_logic; -- chip select for each operation |
signal valid_1, valid_2 : std_logic; -- operation asserts this if it has finished its calculation |
signal sign_res_1, sign_res_2 : std_logic; -- sign of result for each operation. |
signal exponent_res_1, exponent_res_2 : std_logic_vector (11 downto 0); -- exponent of result for each operation |
signal mantissa_res_1, mantissa_res_2 : std_logic_vector(57 downto 0); -- mantissa of result, for each operation |
-- ADD_ALGORITHMS_HERE_END-- |
|
|
----------------------------------------------------------------------------- |
-- Component declarations |
----------------------------------------------------------------------------- |
|
-- Add/Sub component, reset active low |
component fpu_add |
port ( |
-- input operands |
sign_a, sign_b : in std_logic; |
exponent_a, exponent_b : in std_logic_vector (11 downto 0); |
mantissa_a, mantissa_b : in std_logic_vector (57 downto 0); |
-- output result |
sign_res : out std_logic; |
exponent_res : out std_logic_vector(11 downto 0); |
mantissa_res : out std_logic_vector (57 downto 0); |
-- misc signals |
rounding_needed : out std_logic; -- FUTURE |
mode : in std_logic; -- Switch mode Add=0 Sub=1 |
cs : in std_logic; -- Chip Select |
valid : out std_logic; -- calculation is finished |
clk : in std_logic; -- Clock |
reset_n : in std_logic); -- reset active low |
end component; |
|
-- Multiplication unit |
-- FUTURE: can be replaced by other implementations of Multiplication, |
-- e.g. one that uses only one embedded Multiplier, see fpu_mul_single.vhd |
-- Interface should remain stable for all implementations |
component fpu_mul |
port ( |
-- input operands |
sign_a, sign_b : in std_logic; |
exponent_a, exponent_b : in std_logic_vector (11 downto 0); |
mantissa_a, mantissa_b : in std_logic_vector (57 downto 0); |
-- output results |
sign_res : out std_logic; |
exponent_res : out std_logic_vector(11 downto 0); |
mantissa_res : out std_logic_vector (57 downto 0); |
-- misc signals |
rounding_needed : out std_logic; -- FUTURE |
valid : out std_logic; -- calculation is finished |
cs : in std_logic; -- Chip Select |
clk : in std_logic; -- Clock |
reset_n : in std_logic); -- Reset active low |
end component; |
|
|
----------------------------------------------------------------------------- |
-- Component instantiations |
-- connect everything |
----------------------------------------------------------------------------- |
begin |
fpu_addsub_1 : fpu_add |
port map ( |
sign_a => sign_a, |
sign_b => sign_b, |
exponent_a => exponent_a, |
exponent_b => exponent_b, |
mantissa_a => mantissa_a, |
mantissa_b => mantissa_b, |
sign_res => sign_res_1, |
exponent_res => exponent_res_1, |
mantissa_res => mantissa_res_1, |
rounding_needed => rounding_needed_1, |
mode => mode_1, |
cs => cs_1, |
valid => valid_1, |
clk => clk, |
reset_n => reset_n); |
|
fpu_mul_1 : fpu_mul |
port map ( |
clk => clk, |
reset_n => reset_n, |
cs => cs_2, |
sign_a => sign_a, |
sign_b => sign_b, |
exponent_a => exponent_a, |
exponent_b => exponent_b, |
mantissa_a => mantissa_a, |
mantissa_b => mantissa_b, |
sign_res => sign_res_2, |
exponent_res => exponent_res_2, |
mantissa_res => mantissa_res_2, |
rounding_needed => rounding_needed_2, |
valid => valid_2); |
|
-- purpose: Implements the Avalon logic and transfers data from/to submodules |
-- inputs : clk, reset_n,read, write, address, writedata, begintransfer |
-- outputs: readdata, waitrequest |
-- Note: Process is not coded using states on purpose in order to prevent |
-- lockups in case of bus resets or undefined accesses |
avalon_bus_logic : process (clk, reset_n) |
begin |
if reset_n = '0' then -- active low, switch of subcomponents, reset everything |
cs_1 <= '0'; |
cs_2 <= '0'; |
iwaitrequest <= '0'; |
started <= '0'; |
opmode <= (others => '0'); |
mantissa_a <= (others => '0'); |
mantissa_b <= (others => '0'); |
exponent_a <= (others => '0'); |
exponent_b <= (others => '0'); |
sign_a <= '0'; |
sign_b <= '0'; |
readdata <= x"AAAAC0C0"; |
elsif rising_edge(clk) then |
waitrequest <= iwaitrequest; |
cs_1 <= cs_1; |
cs_2 <= cs_2; |
opmode <= opmode; |
mantissa_a <= mantissa_a; |
mantissa_b <= mantissa_b; |
exponent_a <= exponent_a; |
exponent_b <= exponent_b; |
sign_a <= sign_a; |
sign_b <= sign_b; |
|
-- Dummy value which indicates wrong reads, deadbeef was already taken |
readdata <= x"AAAAC0C0"; |
started <= started; |
|
if started = '0' -- calculation is in progress, keep signals |
then |
iwaitrequest <= '0'; |
else |
iwaitrequest <= '1'; |
end if; |
|
if begintransfer = '1' and write = '1' then -- new write transfert |
case op_register is |
-- hi word is written, populate first operand and set opmode to desired operation |
when addr_a_hi => |
sign_a <= writedata(31); |
exponent_a <= '0' & writedata(30 downto 20); |
-- check for denormals, if not, set _h_idden bit in internal format. |
if unsigned(writedata(30 downto 20)) = ZEROS(30 downto 20) then |
mantissa_a(57 downto 35) <= "000" & writedata(19 downto 0); |
else |
mantissa_a(57 downto 35) <= "001" & writedata(19 downto 0); |
end if; |
opmode <= operation; |
|
-- lo word is written, populate rest of mantissa with clear RGS |
when addr_a_lo => |
mantissa_a(34 downto 0) <= writedata(31 downto 0) & "000"; |
|
-- hi word of second operand, populate fields |
when addr_b_hi => |
sign_b <= writedata(31); |
exponent_b <= '0' & writedata(30 downto 20); |
-- check for denormals, if not, set _h_idden bit in internal format. |
if unsigned(writedata(30 downto 20)) = ZEROS(30 downto 20) then |
mantissa_b(57 downto 35) <= "000" & writedata(19 downto 0); |
else |
mantissa_b(57 downto 35) <= "001" & writedata(19 downto 0); |
end if; |
|
|
-- lo word is written, populate rest of mantissa with clear RGS |
-- after low word is written, calculation starts |
when addr_b_lo => |
mantissa_b(34 downto 0) <= writedata(31 downto 0) & "000"; |
-- perform calculation by enabling component |
case opmode is |
-- ADD_ALGORITHMS_HERE |
when mode_add => |
cs_1 <= '1'; |
mode_1 <= '0'; |
when mode_sub => |
cs_1 <= '1'; |
mode_1 <= '1'; |
opmode <= mode_add; -- result will be read from same location |
when mode_mul => |
cs_2 <= '1'; |
-- when mode_div => -- FUTURE not implemented yet |
-- cs_3 <= '1'; -- FUTURE |
-- ADD_ALGORITHMS_HERE_END |
when others => null; |
end case; |
started <= '1'; -- calculation has started |
when others => null; |
end case; |
end if; |
|
-- results requested |
if read = '1' and started = '1' then |
if begintransfer = '1' then |
iwaitrequest <= '1'; |
waitrequest <= '1'; |
end if; |
-- ADD_ALGORITHMS_HERE -- |
-- if any of the operation returns with a valid result |
if valid_1 = '1' or valid_2 = '1' then |
-- ADD_ALGORITHMS_HERE_END-- |
iwaitrequest <= '1'; |
waitrequest <= '0'; |
|
-- read hi word of result |
if op_register = addr_result_hi then |
case opmode is |
-- ADD_ALGORITHMS_HERE -- |
-- generate result, skip internal format bits. |
when mode_add => readdata <= sign_res_1 & exponent_res_1 (10 downto 0) & mantissa_res_1(54 downto 35); -- ADD and SUB |
when mode_mul => readdata <= sign_res_2 & exponent_res_2 (10 downto 0) & mantissa_res_2(54 downto 35); |
-- when mode_div => readdata <= result_2(63 downto 32); -- not implemented yet |
-- ADD_ALGORITHMS_HERE_END-- |
when others => null; |
end case; |
|
-- read low word of result |
else -- op_register = add_result_lo |
case opmode is |
-- ADD_ALGORITHMS_HERE -- |
when mode_add => readdata <= mantissa_res_1(34 downto 3); -- ADD and SUB |
when mode_mul => readdata <= mantissa_res_2(34 downto 3); |
-- when mode_div => readdata <= result_2(31 downto 0); --Not implemented yet |
-- ADD_ALGORITHMS_HERE_END -- |
when others => null; |
end case; |
|
-- read is finished, return to "reset_state" |
-- ADD_ALGORITHMS_HERE -- |
cs_1 <= '0'; |
cs_2 <= '0'; |
mode_1 <= '0'; |
-- ADD_ALGORITHMS_HERE_END -- |
started <= '0'; |
opmode <= (others => '0'); |
end if; |
else |
end if; |
end if; |
end if; |
end process avalon_bus_logic; |
end rtl; |
|
------------------------------------------------------------------------------- |
/trunk/fpu_mul.vhd
0,0 → 1,281
-------------------------------------------------------------------------------- |
-- Project : openFPU64 Multiplier Component |
------------------------------------------------------------------------------- |
-- File : fpu_mul.vhd |
-- Author : Peter Huewe <peterhuewe@gmx.de> |
-- Created : 2010-04-19 |
-- Last update: 2010-04-19 |
-- Standard : VHDL'87 |
------------------------------------------------------------------------------- |
-- Description: double precision floating point multiplier component |
-- for openFPU64, includes rounding and normalization |
-- |
------------------------------------------------------------------------------- |
-- Copyright (c) 2010 |
------------------------------------------------------------------------------- |
-- License: gplv3, see licence.txt |
------------------------------------------------------------------------------- |
library ieee; |
use ieee.std_logic_1164.all; |
use ieee.numeric_std.all; |
use work.fpu_package.all; |
------------------------------------------------------------------------------- |
|
entity fpu_mul is |
port ( |
clk, reset_n : in std_logic; -- reset = standard active low |
cs : in std_logic; -- mode: 0 = add , 1= sub |
sign_a, sign_b : in std_logic; -- sign bits |
exponent_a, exponent_b : in std_logic_vector (11 downto 0); -- exponents of the operands |
mantissa_a, mantissa_b : in std_logic_vector (57 downto 0); -- mantissa of operands |
sign_res : out std_logic; |
exponent_res : out std_logic_vector(11 downto 0); |
mantissa_res : out std_logic_vector (57 downto 0); |
rounding_needed : out std_logic; |
valid : out std_logic |
); |
|
end fpu_mul; |
|
------------------------------------------------------------------------------- |
|
architecture rtl of fpu_mul is |
----------------------------------------------------------------------------- |
-- Internal signal declarations |
----------------------------------------------------------------------------- |
------------------------------------------------------------------------------- |
------------------------------------------------------------------------------- |
signal add_result, add_op_a : unsigned (54 downto 0); |
signal add_op_b : unsigned (12 downto 0); |
-- signal mul_result : unsigned(35 downto 0); |
-- signal mul_op_a, mul_op_b : unsigned(17 downto 0); |
type t_state is (s_calc1, s_calc2, s_calc3, s_finished, s_normalize_right_1, s_load_for_round, s_round, s_load_normalizer_right_2, s_normalize_right_2, s_normalize_left); -- possible states |
signal state : t_state; -- current state |
|
signal exponent_out : std_logic_vector(11 downto 0); |
signal tmp_result : std_logic_vector (57 downto 0); |
signal tmp_result2 : std_logic_vector (107 downto 0); |
|
signal a_is_normal, b_is_normal : std_logic; |
----------------------------------------------------------------------------- |
-- Component declarations |
----------------------------------------------------------------------------- |
begin |
---------------------------------------------------------------- |
-- Component instantiations |
----------------------------------------------------------------------------- |
|
-- purpose: calculates the result of a multiplication |
-- type : combinational |
-- inputs : sign_a, sign_b, exponent_a, exponent_b, mantissa_a, mantissa_b |
-- outputs: result |
|
add_result <= add_op_a + add_op_b; |
a_is_normal <= '0' when unsigned(exponent_a(10 downto 0)) = ALL_ZEROS else '1'; |
b_is_normal <= '0' when unsigned(exponent_b(10 downto 0)) = ALL_ZEROS else '1'; |
|
state_trans : process (clk, reset_n, cs) |
variable tmp : unsigned(57 downto 0); |
begin -- process state_trans |
rounding_needed <= '1'; |
if reset_n = '0' then |
state <= s_calc1; |
sign_res <= '0'; |
valid <= '0'; |
exponent_res <= (others => '0'); |
mantissa_res <= (others => '0'); |
tmp_result <= (others => '0'); |
tmp_result2 <= (others => '0'); |
add_op_a <= (others => '0'); |
add_op_b <= (others => '0'); |
elsif rising_edge(clk) then |
if cs = '0' then |
state <= s_calc1; |
sign_res <= '0'; |
valid <= '0'; |
exponent_res <= (others => '0'); |
mantissa_res <= (others => '0'); |
tmp_result <= (others => '0'); |
tmp_result2 <= (others => '0'); |
add_op_a <= (others => '0'); |
add_op_b <= (others => '0'); |
|
else |
sign_res <= sign_a xor sign_b; |
valid <= '0'; |
-- result <= (others => '0'); |
exponent_res <= exponent_out(11 downto 0); |
mantissa_res <= (others => '0'); |
mantissa_res <= tmp_result; |
tmp_result <= tmp_result; |
tmp_result2 <= tmp_result2; |
case state is |
|
-- calculate new exponent and load multiplier |
when s_calc1 => |
add_op_a <= (others => '0'); |
add_op_b <= (others => '0'); |
add_op_a(10 downto 0) <= unsigned(exponent_a(10 downto 0)); |
add_op_b(10 downto 0) <= unsigned(exponent_b(10 downto 0)); |
tmp_result2 <= std_logic_vector(unsigned(mantissa_a(56 downto 3)) * unsigned(mantissa_b(56 downto 3))); |
|
state <= s_calc2; |
-- check if one of the operands is zero |
if (unsigned(exponent_a (10 downto 0)) = ZEROS(10 downto 0) and unsigned(mantissa_a (56 downto 3)) = ZEROS(56 downto 3)) |
or (unsigned(exponent_b (10 downto 0)) = ZEROS(10 downto 0) and unsigned(mantissa_b (56 downto 3)) = ZEROS(56 downto 3)) |
then |
exponent_out <= (others => '0'); |
tmp_result <= (others => '0'); |
state <= s_finished; |
end if; |
|
-- Nan bu Nan :) is A NotANumber |
if (unsigned(exponent_a (10 downto 0)) = ONES(10 downto 0) and unsigned(mantissa_a (56 downto 3)) /= ZEROS(56 downto 3)) |
then |
exponent_out <= (others => '1'); |
tmp_result <= mantissa_a; |
state <= s_finished; |
end if; |
-- is B NotANumber |
if (unsigned(exponent_b (10 downto 0)) = ONES(10 downto 0) and unsigned(mantissa_b (56 downto 3)) /= ZEROS(56 downto 3)) |
then |
exponent_out <= (others => '1'); |
tmp_result <= mantissa_b; |
state <= s_finished; |
end if; |
|
|
-- calculate new exponent, part II, subtract bias |
when s_calc2 => |
add_op_a (12 downto 0) <= '0'&add_result(11 downto 0); |
add_op_b (12 downto 0) <= DOUBLE_BIAS_2COMPLEMENT(12 downto 0); |
|
state <= s_calc3; |
|
-- check if new exponent has to be zero, this happens if result is zero or subnormal |
-- also select upper 57 bits of multiplication and generate stickybit of lower result |
when s_calc3 => |
state <= s_load_for_round; |
-- if lower bits != zero, sticky bit is 1 |
if (unsigned(tmp_result2(49 downto 0)) /= ZEROS(49 downto 0)) |
then |
tmp_result <= std_logic_vector(tmp_result2(106 downto 50)) &'1'; |
else |
tmp_result <= std_logic_vector(tmp_result2(106 downto 50)) &'0'; |
end if; |
|
-- Is normalization needed? |
if tmp_result2 (105) = '1' then |
state <= s_normalize_right_1; |
end if; |
|
|
-- check if exponent is out of range |
-- if it is in preload adder, maybe we need exponent +1 in next state |
exponent_out <= std_logic_vector(add_result(11 downto 0)); |
add_op_a <= (others => '0'); |
add_op_b <= (others => '0'); |
|
add_op_a(11 downto 0) <= add_result(11 downto 0); |
add_op_b(0) <= '1'; |
-- overflow |
if (add_result(12) = '0' and add_result(11) = '1') |
then |
exponent_out <= (others => '1'); |
tmp_result <= (others => '0'); |
state <= s_finished; |
end if; |
-- lower than subnormal - underflow to zero |
if (add_result(12) = '1') |
--and (a_is_normal = '0' or b_is_normal = '0')) |
or (a_is_normal = '0' and b_is_normal = '0') |
then |
exponent_out <= (others => '0'); |
add_op_a <= (others => '0'); |
add_op_b <= (others => '0'); |
add_op_b(0) <= '1'; |
tmp_result <= (others => '0'); |
state <= s_finished; |
else |
end if; |
|
|
|
--Normalization is necessary |
when s_normalize_right_1=> |
tmp_result(57 downto 1) <= '0'&tmp_result(57 downto 2); |
tmp_result(0) <= tmp_result(1) or tmp_result(0); |
exponent_out <= std_logic_vector(add_result(11 downto 0)); |
|
state <= s_load_for_round; |
|
-- preload adder with mantissa and 1, maybe we need this for rounding next step |
when s_load_for_round => |
add_op_a <= unsigned(tmp_result(57 downto 3)); |
add_op_b <= (others => '0'); |
add_op_b(0) <= '1'; |
state <= s_normalize_left; |
|
-- shift leading one to correct position |
when s_normalize_left=> |
state <= s_round; |
if tmp_result(55) = '0' and unsigned(exponent_out(11 downto 0)) /= ZEROS(11 downto 0) |
then |
tmp_result(55 downto 0) <= tmp_result(54 downto 0) & tmp_result(0); |
exponent_out <= std_logic_vector(unsigned(exponent_out) - "1"); |
state <= s_normalize_left; |
end if; |
|
--round if necessary |
when s_round=> |
case tmp_result(3 downto 0) is |
when "0101" => tmp_result(3) <= '1'; |
when "0110" => tmp_result(3) <= '1'; |
when "0111" => tmp_result(3) <= '1'; |
|
when "1100" => tmp_result(57 downto 3) <= std_logic_vector(add_result); |
when "1101" => tmp_result(57 downto 3) <= std_logic_vector(add_result); |
when "1110" => tmp_result(57 downto 3) <= std_logic_vector(add_result); |
when "1111" => tmp_result(57 downto 3) <= std_logic_vector(add_result); |
|
when others => null; -- others remain unchanged |
end case; |
|
|
state <= s_load_normalizer_right_2; |
|
|
-- Check again if Normalization needed, preload adder |
when s_load_normalizer_right_2=> |
add_op_a <= (others => '0'); |
add_op_b <= (others => '0'); |
add_op_a(11 downto 0) <= unsigned(exponent_out(11 downto 0)); |
add_op_b(0) <= '1'; |
|
state <= s_finished; |
if tmp_result(56) = '1' then |
state <= s_normalize_right_2; |
end if; |
|
|
-- .Normalize |
when s_normalize_right_2=> |
tmp_result(57 downto 1) <= '0'&tmp_result(57 downto 2); |
tmp_result(0) <= tmp_result(1) or tmp_result(0); |
exponent_out <= std_logic_vector(add_result(11 downto 0)); |
state <= s_finished; |
|
|
-- finished |
when s_finished => |
state <= s_finished; |
valid <= '1'; |
|
when others => null; |
end case; |
end if; |
end if; |
end process state_trans; |
end rtl; |
|
------------------------------------------------------------------------------- |
/trunk/openfpu64_tb.head.vhd
0,0 → 1,209
------------------------------------------------------------------------------ |
-- Project : openFPU64 - Testbench for Avalon Bus |
------------------------------------------------------------------------------- |
-- File : openfpu64_tb.vhd |
-- Author : Peter Huewe <peterhuewe@gmx.de> |
-- Created : 2010-04-19 |
-- Last update: 2010-04-19 |
-- Standard : VHDL'87 |
------------------------------------------------------------------------------- |
-- Description: Testbench for openFPU64, Avalon Bus interface. |
-- |
------------------------------------------------------------------------------- |
-- Copyright (c) 2010 |
------------------------------------------------------------------------------- |
-- License: gplv3, see licence.txt |
------------------------------------------------------------------------------- |
|
library ieee; |
use ieee.std_logic_1164.all; |
library ieee; |
use ieee.std_logic_1164.all; |
use ieee.numeric_std.all; |
library work; |
use work.helpers.all; |
use work.fpu_package.all; |
------------------------------------------------------------------------------- |
|
entity openFPU64_tb is |
|
end openFPU64_tb; |
|
------------------------------------------------------------------------------- |
|
architecture openFPU64_tb of openFPU64_tb is |
|
component openFPU64 |
port ( |
reset_n : in std_logic := '0'; |
read : in std_logic := '0'; |
write : in std_logic := '1'; |
address : in std_logic_vector (4 downto 0) := (others => '0'); |
readdata : out std_logic_vector(31 downto 0) := (others => '0'); |
writedata : in std_logic_vector(31 downto 0) := (others => '0'); |
waitrequest : out std_logic := '0'; |
begintransfer : in std_logic := '0'; |
-- out_port : out std_logic_vector(9 downto 0); |
clk : in std_logic := '0'); |
end component; |
|
-- component ports |
signal reset_n : std_logic := '0'; |
signal read : std_logic := '0'; |
signal write : std_logic := '1'; |
signal address : std_logic_vector (4 downto 0) := (others => '0'); |
signal readdata : std_logic_vector(31 downto 0) := (others => '0'); |
signal writedata : std_logic_vector(31 downto 0) := (others => '0'); |
-- signal data_in_a : std_logic_vector(63 downto 0) := x"AFAFAFAFEFEFEFEF"; |
-- signal data_in_b : std_logic_vector(63 downto 0) := x"BFBFBFBFCFCFCFCF"; |
signal data_in_a : std_logic_vector(63 downto 0) := "0011111111110000000000000000000000000000000000000000000000000000"; |
signal data_in_b : std_logic_vector(63 downto 0) := "0100000000000000000000000000000000000000000000000000000000000000"; |
|
|
signal data_out : std_logic_vector(63 downto 0); |
signal readback : std_logic_vector(31 downto 0) := (others => '0'); |
signal waitrequest : std_logic := '0'; |
signal begintransfer : std_logic := '0'; |
signal clk : std_logic := '0'; |
signal out_port : std_logic_vector(9 downto 0); |
-- clock |
-- signal Clk : std_logic := '1'; |
constant clk_period : time := 10 ns; |
constant mem_delay : time := 10 ns; |
begin -- openFPU64_tb |
|
-- component instantiation |
DUT : openFPU64 |
port map ( |
reset_n => reset_n, |
read => read, |
write => write, |
address => address, |
readdata => readdata, |
writedata => writedata, |
waitrequest => waitrequest, |
begintransfer => begintransfer, |
clk => clk); |
|
-- clock generation |
|
|
|
-- waveform generation |
tb : process |
procedure run_cycle |
( |
count : inout integer -- cycle count for statistical purposes |
) |
is |
begin |
clk <= '0'; |
wait for clk_period / 2; |
clk <= '1'; |
wait for clk_period / 2; |
count := count+1; |
end procedure; |
|
procedure testcase |
( |
number : in integer; -- Testcase number, will be reported |
operand_a : in std_logic_vector(63 downto 0); -- first operand |
operand_b : in std_logic_vector (63 downto 0); -- second operand |
expected : in std_logic_vector(63 downto 0); -- expected result |
operation : in std_logic_vector (2 downto 0) -- desired operation |
) |
is |
variable i : integer; |
variable denormalA_n : std_logic; |
variable denormalB_n : std_logic; |
begin |
i :=0; |
|
|
|
|
-- reset the fpu |
begintransfer <= '0'; |
reset_n <= '0'; |
run_cycle(i); |
reset_n <= '1'; |
run_cycle(i); |
-- begin transfer of first 32bit (MSB..) of first operand |
-- and specify operation (encoded in address, see fpu_package.vhd for details |
write <= '1'; |
begintransfer <= '1'; |
writedata <= operand_a(63 downto 32); |
address <= operation & addr_a_hi; |
run_cycle(i); |
begintransfer <= '0'; --all other signals irrelevant/unstable |
run_cycle(i); |
|
-- begin transfer of second 32bits (..LSB) of first operand |
write <= '1'; |
begintransfer <= '1'; |
address <= operation& addr_a_lo; |
writedata <= operand_a(31 downto 0); |
run_cycle(i); |
begintransfer <= '0'; |
run_cycle(i); |
|
-- begin transfer of first 32bits (MSB..) of second operand |
write <= '1'; |
address <= operation& addr_b_hi; |
writedata <= operand_b(63 downto 32); |
begintransfer <= '1'; |
run_cycle(i); |
begintransfer <= '0'; |
run_cycle(i); |
|
-- begin transfer of second 32bits (..LSB) of second operand |
address <= operation& addr_b_lo; |
writedata <= operand_b(31 downto 0); |
begintransfer <= '1'; |
run_cycle(i); |
begintransfer <= '0'; |
write <= '0'; |
run_cycle(i); |
|
-- begin reading first 32bits of result |
-- blocking read, all signals have to remain stable until waitrequest is deasserted |
read <= '1'; |
begintransfer <= '1'; |
address <= operation & addr_result_hi; |
run_cycle(i); |
begintransfer <= '0'; |
L : while waitrequest = '1' loop |
run_cycle(i); |
end loop; |
data_out(63 downto 32) <= readdata; |
run_cycle(i); |
|
-- begin reading second 32bits of result |
-- blocking read, all signals have to remain stable until waitrequest is deasserted |
-- in practice waitrequest is already deasserted. |
read <= '1'; |
begintransfer <= '1'; |
address <= operation & addr_result_lo; |
run_cycle(i); |
begintransfer <= '0'; |
K :while waitrequest = '1' loop |
run_cycle(i); |
end loop; |
data_out(31 downto 0) <= readdata; |
run_cycle(i); |
-- Bus transfers complete |
|
-- compare actual result with expected result |
assert data_out = expected report "doh "&integer'image(number)&" result was"& |
" S:"&std_logic'image(data_out(63)) & |
" E:"&to_string(data_out(62 downto 52)) & |
" M:"&to_string(data_out(51 downto 0)) & |
" expected" & |
" S:"&std_logic'image(expected(63)) & |
" E:"&to_string(expected(62 downto 52)) & |
" M:"&to_string(expected(51 downto 0)) severity error; |
-- print out statistics |
assert false report "Testcases "&integer'image(number)&" needed " &integer'image(i) &" cycles" severity note; |
end procedure; |
variable i : integer; |
begin |
/trunk/Makefile
0,0 → 1,54
# Set GHDL in environment |
GHDL=ghdl |
GHDLFLAGS = --workdir=work -Wl,-lm -Wc,-m32 -Wl,-m32 -Wa,--32 --ieee=synopsys -fexplicit |
XST= eis-xst |
GHDLA:=$(GHDL) -a $(GHDLFLAGS) |
GHDLE:=$(GHDL) -e $(GHDLFLAGS) |
#XST= echo |
#prevent make from deleting the .o files |
.PRECIOUS: work/%.o |
all: clean work/eis_helpers.o work/fpu_package.o work/fpu_mul.o work/fpu_add.o work/simple.o openfpu64_tb |
|
#fpu_avalon_func |
|
showme_%: % |
./$< --wave=$<.ghw --stop-time=1ms |
gtkwave $<.ghw $<.sav |
|
work/%.o: %.vhd |
$(GHDLA) $< |
|
%_tb: eis_helpers.vhd work/eis_helpers.o %.vhd work/%.o %_tb.vhd work/%_tb.o |
$(GHDLE) $@ |
|
%: %.vhd work/%.o |
$(GHDLE) $@ |
|
addsub_testsuite: |
cat openfpu64_tb.head.vhd tests/openfpu64_tb.addsub.inc.vhd openfpu64_tb.tail.vhd > openfpu64_tb.vhd |
|
custom_testsuite: |
cat openfpu64_tb.head.vhd tests/openfpu64_tb.custom.inc.vhd openfpu64_tb.tail.vhd > openfpu64_tb.vhd |
|
add_testsuite: |
cat openfpu64_tb.head.vhd tests/openfpu64_tb.add.inc.txt openfpu64_tb.tail.vhd > openfpu64_tb.vhd |
|
sub_testsuite: |
cat openfpu64_tb.head.vhd tests/openfpu64_tb.sub.inc.txt openfpu64_tb.tail.vhd > openfpu64_tb.vhd |
|
mul_testsuite: |
cat openfpu64_tb.head.vhd tests/openfpu64_tb.mul.inc.txt openfpu64_tb.tail.vhd > openfpu64_tb.vhd |
|
clean: |
$(GHDL) --clean --workdir=work |
rm -rfv *.ghw *.cf *.log *.ngc *.ngr *.prj *.xrpt *.ifn *.ise xst_work xlnx_auto_0_xdb implement_viscy viscy.bit |
|
get: |
export PATH=/data/opt/eis/bin/:/usr/local/Simili31/tcl/bin:/usr/local/bin:/usr/bin:/bin:/opt/bin:/usr/x86_64-pc-linux-gnu/arm-unknown-linux-gnu/gcc-bin/4.1.2:/usr/x86_64-pc-linux-gnu/avr/gcc-bin/3.4.6:/usr/x86_64-pc-linux-gnu/gcc-bin/4.1.2:/opt/sourcenav/bin:/usr/kde/3.5/bin:/usr/qt/3/bin:/usr/x86_64-pc-linux-gnu/gnat-gcc-bin/4.2:/usr/libexec/gnat-gcc/x86_64-pc-linux-gnu/4.2:/usr/games/bin:/opt/vmware/player/bin:/sbin:/home/peter/taihu/eldk/bin:/home/peter/taihu/eldk/usr/bin |
. /opt/Xilinx/11.1/settings32.sh |
sh /opt/Xilinx/11.1/settings32.sh |
export PATH=/data/opt/eis/bin/:/usr/local/Simili31/tcl/bin:/usr/local/bin:/usr/bin:/bin:/opt/bin:/usr/x86_64-pc-linux-gnu/arm-unknown-linux-gnu/gcc-bin/4.1.2:/usr/x86_64-pc-linux-gnu/avr/gcc-bin/3.4.6:/usr/x86_64-pc-linux-gnu/gcc-bin/4.1.2:/opt/sourcenav/bin:/usr/kde/3.5/bin:/usr/qt/3/bin:/usr/x86_64-pc-linux-gnu/gnat-gcc-bin/4.2:/usr/libexec/gnat-gcc/x86_64-pc-linux-gnu/4.2:/usr/games/bin:/opt/vmware/player/bin:/sbin:/home/peter/taihu/eldk/bin:/home/peter/taihu/eldk/usr/bin |
. /opt/Xilinx/11.1/settings32.sh |
sh /opt/Xilinx/11.1/settings32.sh |
|
|
/trunk/README
0,0 → 1,3
Todo: add some description. |
|
Meanwhile, for questions contact me at peterhuewe@gmx.de and I'm glad to help you out |